די Gödel's טעארעם צילן צו געפינען לאגיק אויף אן אקסיאמאטישער באזע וואָס איז אויס פון דערגרייכן.
וועלכער סיסטעם פון אַקסיאָמס איז געניצט צו בויען אַ טעאָריע, עס זענען פּראַפּאָוזאַלז אַז מיר וויסן צו זיין אמת אָבער וועמענס דער אמת קענען ניט זיין דעמאַנסטרייטיד אין די פריימווערק פון די סיסטעם.
די אַקסיאָם אין א טעאריע איז א יקערדיק פאָרמולע וואָס איז געהאלטן אמת אָן דערווייַז.
די ינקאַנסיסטאַנסי איז צו קענען דעמאָנסטרירן איין זאַך און זייַן פאַרקערט.
דערענדיקטקייט קעראַקטערייזאַז טרוטס מאטעמאטיק וואס מען קען נישט באווייזן.
וועלכער די רייכקייט פון אַ סיסטעם פון אַקסיאַמז דאָס קען נישט גלייַכן די קאַפּאַציטעט פון די פּאָטענציעל אינהאַלט פון געדאַנק.
בפירוש טראכטן – רעזולטאַט פון אונדזער רעפלעקטיאָנס באזירט אויף אַ ענדלעך נומער פון אַקסיאַמז – איז סימפּלער וויקאָמפּלעקס טראכטן וואָס אין טעאָריע קען נישט פאַרשטיין.
צו באַקומען אויס פון די דילעמאַ פון אַ אמת און פאַלש אין דער זעלביקער צייַט, איר האָבן צו באַקומען אויס פון די סיסטעם זיך, באַקומען אין מעטאַ שטעלע, אַ פונדרויסנדיק זעאונג, דורך אַדאַפּטינג אַ ברייטערער סיסטעם.
לאָגיק האט זייַן לימאַץ ; אין קיין סיסטעם עס זענען ינדימאַנסטראַבאַל טרוטס.
קיין ענדלעך גאַנג פון גענוג רייַך אַקסיאַמז דאַווקע פירט צו רעזולטאטן וואָס זענען אָדער ניט דיסיידאַבאַל, אָדער קאַנטראַדיקטערי.
קיין מענטש לאַדזשיקאַל סיסטעם איז דערענדיקט אויב עס וויל קאָנסיסטענט. קאָוכיראַנס ריקווייערז ינקאַמפּליטנאַס.
דער צושטאַנד פון ינקאָמפּלעטענעסס געפּלאָנטערט דורך די געלערנטער איז נישט אַ באַזיגן פון סיבה אָבער אַ געלעגנהייט צו פּראָגרעס אין באַקענען אים צו די קאַנפראַנטיישאַן מיט מיסטעריע, צו דער מיסטעריע פון וויסן.
איינשטיין'ס פאָרמולע, ” מערסט אומפארשטענדליך, איז אַז די וועלט איז פאַרשטיייק “, און באַשטעטיקן עדות פון די ” גיביקייַט ” פון דערענדיקטקייט זענען ווי צוויי ” צייכנס ” פון די מיסטעריע פון וויסן אין די מאָדערן וויסנשאפטלעכע צוגאַנג.
די אמת קענען ניט זיין אויסגעדריקט אין טערמינען פון דעמאָנסטראַביליטי.א פּרואוואַבאַל זאַך איז ניט דאַווקע אמת און אַ אמת זאַך ניט דאַווקע פּראָווען.
צו געפֿינען טרוטס אין אַ געגעבן סיסטעם עס מוז קענע ן ארויסקומע ן פו ן דע ם או ן דעריבע ר האבע ן א סיבה , פעי ק צ ו שאפ ן א סיסטעם אין וואָס דער אַלט ינדימאַנסטראַבאַל אמת וועט ווערן גאַנץ דעמאָנסטראַבלע.
דער פארנעם פון Gödel's טעארעם איז וויכטיק היפּש פֿאַר קיין מאָדערן טעאָריע פון וויסן. קודם כל ער איז ניט בלויז וועגן דעם פעלד פון אַריטמעטיק, אָבער אויך אַלע מאטעמאטיק וואס כולל אריטמעטיק. אבער מאטעמאטיק, וואס איז דער געצייג פון יקער פון טעאָרעטיש פיזיק כּולל, קלאר, אַריטמעטיק. וואָס מיטל אַז קיין פולשטענדיק זוכן פֿאַר אַ גשמיות טעאָריע איז אילוזיע. אויב די דערקלערונג איז אמת פֿאַר די מערסט דאָומיינז שטרענג לערנען פון נאַטירלעך סיסטעמען, װי אזוי האבן מיר נישט געקאנט חלום פון אַ גאַנץ טעאָריע אין אַ ינפאַנאַטלי מער קאָמפּליצירט פעלד – אַז פון סאציאל וויסנשאַפֿט ?
די גאָדעליאַן סטרוקטור פון די גאַנג פון לעוועלס פון פאַקט, פֿאַרבונדן מיט לאָגיק פוןדריט פּאַרטיעס אַרייַנגערעכנט, ימפּלייז די מעגלעכקייט פון קאַנסטראַקטינג אַ גאַנץ טעאָריע פֿאַר באַשרייַבן די יבערגאַנג פון איין מדרגה צו אנדערן און, אַ פאָרטיאָרי, צו באַשרייַבן אַלע לעוועלס פון פאַקט .
081