TNT sprichtüber sich selbst公司

TNT sind（endliche）Symbolgen的Aussagen。Aus Symbolforgen Zahlenfolgen zu machen，ist noch recht einfach，indem man jedem Symbol auf feste Weise eine Zahl zuordnet。死于Meta-Ebene，da Symbole und Folgen ja nicht unmittelbar zu den Objekten der TNT gehören。德库斯特格里夫·贝斯特达林（Der Kunstgriff besteht darin），（endliche）扎伦福根（Zahlenfolgen in einer einzigen natürlichen Zahl zu kodieren），und zwar auf eine solche Weise，die es erlaubt，alle wesentlichen Informationonen Der kodiereten Zahlen folge mit den Mitteln von TNT auszudrücken。Indirekt kann TNT auf diesem Wegüber die einzelnen Symbole einer TNT-Symbolfolge Aussagen treffen公司。Tatsächlich erlauben wir uns hier，endliche Zahlenfolgen不在Zahl zu kodieren期间，而在Zahlenripel期间（a、b、c）.艾尔斯·基恩·埃因施赫·阿恩孔达尔（als keine Einschränkung dar）去世时的墓碑（a，b，c）↦（a+b+c）*solchen Tripeln auf infekective Weise eine natürliche Zahl在Form eines TNT-Ausdrucks zuordnet中。

Die Zahl n steht für das Zahlentripel（a，b，c）。

Bezeichnet公司T型蒂·门格尔（nicht notwendig wohlgeformten）TNT-Symbolfolgen，ℕ(ℕ)我死了，我也死了，所以我也会在TNT代表阿比尔东f： 2号→，在TNT代表surjektive Abbildungg： 2号→(ℕ)（d.h.die Abbildungℕ³⨯ℕ→ℕ,（a，b，c，k）↦g（a，b，c）k个ist repráseniter）sowie schließlich auf Meta-Ebene eine Bijektion公司ℕ(ℕ)↔T型.

Einige allgemeine Prädikate公司

Wir werden zunächst einige Prädikate zunehmender Komplexität definieren，die es uns erlauben，entsprechend immer komplexere Sachverhalteüber eine oder mehrere Variable auszudrücken。

Den noch recht triflen Anfang macht die“kleiner als”-关系，这是一个节日，因为人们对kleineren Zahl addieren muss的积极态度，嗯，我是祖·埃尔哈顿。Für die“kleiner-oder-gleich”-关系müssen wir noch nicht einmal sicher sein，dass是addiert ist，tatsächlich positiv ist。

a ist kleiner oder gleich b公司 a ist kleiner als b公司

Jetzt kommen wir schon an die zentrale Idee der Gödelisierung公司。Zu natürlichen Zahlen先生一und（单位）b条科内恩与福克·德·扎伦（Folge der Zahlen）模数（1+b*（k+1））贝特拉肯，k=0、1、2。。。.Das foldende Prädikat SEQUENZ drückt aus，数据库x个达斯k个-te Glied dieser unedlichen Folge是。

Das k-te Glied der durch（a，b）definerten Folge ist x，sofern（！）schon bekann ist，dass x≤b*（k+1）ist。 Das k-te Glied der durch（a，b）定义为Folge is x。 来自PRESEQUENZ kann anstelle von SEQUENZ benutzt werden，falls aus dem Kontext Die zusätzlich benötigte Ungleichung bereits folgt。这是ISTAXIOM的一部分。

所有这些都不是不确定的，而是最终的福尔根（nämlich solche，bei denen jedes Folgenglied einen Best and teil einer TNT Formel codiert）。Zu diesem Zweck wird die Folge nicht nur durch zwei Zahlen（zwei扎伦）一und（单位）b条beschrieben，sondern noch zusätzlich durch die Längec（c）德福吉。

Zu jeder endlichen Folge von natürlichen Zahlen（德国）c（c）)科内恩·维尔·阿伯·乌姆盖克特奥赫（können wir aber umgekehrt auch）一und（单位）b条finden，那么就让gegebene Folge来当Tripel吧（a、b、c）最好的wird。Dies garaniert der Chinesische Restesatz，dafür hinreichend grob条jeder gemeinsame Teiler von zwei Zahlen der表格1+b*（k+1）麻省理工学院k<c克莱纳阿尔斯c（c）und teilerfremd祖b条塞因·穆斯。瓦赫特曼也是福尔b条埃因·维尔法切斯·冯c！在《中国研究报告》中，作者还提到了Folgenglieder。Es haft et insorn nichts magisches an dem benutzten Ausdruck公司1+b*（k+1）.我是莱迪格利希，我是埃因法赫·祖·比什莱本德·福尔赫·冯·汉莱琴和维伦·帕尔韦塞，我是扎伦·祖·芬登。Hier bietet sich eine算术福勒a+b*kAnfangsgled的Schrittweite teilerfromde一埃因法赫特哈伯河水位低于1标准。Dann ersetzt man noch（丹恩·埃尔兹特·曼诺赫）k个杜克k+1（千分之一），damit auch das erste Folgenglied“nutzbar”ist。

Wir argumentieren oben mit der Fakultätsfunktion，die Wir aber erst weiter unten in TNT beschreiben können，nachdem Wir wissen，wie Rekursion zu repräsensierenist公司。Wir untereiegen hier dennoch keinem Zirkelschluss，da Wir gar nicht explizit公司c！，这是一个很好的例子b条本ötigen。 莫赫特曼·梅雷尔（恩德利希·维埃勒）与兰格·恩德利希·福根·埃尔泽根（Folgen erzeugenb条芬登。 Zwischenspiel公司：b条是eine Zehnerpotenz

Mit dem“SEQUENZ-Mechanismus”is es ein leichtes，einfache Rekursion auszudrücken：

b条ist骰子n个-te Potenz von先生一. Das 0。Folgenglied ist 1，das公司n个-泰斯特b条und wenigstens bis zu diesem指数unterscheiden sich auf einander folgende Glieder um den Faktor一.

Die Lösung zurühmtenübungsaufgabe von Douglas Hofstadterb条TNT auszudrücken，schreibt sich dann als中的“ist eine Zehnerpotenz”

阿瓦·海利希·艾因法赫·金格·伊娃b条在形式上是“eine Fibonacci-Zahl”

Die Folge开始麻省理工学院F（0）=0,F（1）=1und später镀金F（k+2）=F（k）+F（k+1）–祖明斯特·富尔赫里钦德·维埃勒（zumindest für hinreichend viele）k个.

Auch das WUNDERSAM-Prädikat，über das Achilles und die Schildkröte im Dialogüber.Gold-Bach-Variationen reden，ist leicht formuliert公司：

Der Vollständigkeit halber folgt hier eine版本b条是eine Zehnerpotenz“，die komplett expandiert（und geringfügig vereinfacht）乌尔德：

威特麻省理工学院TNT

Wir benötigen noch Prädikate für Vergleiche von（Teil-）folgen mit einander公司。Das foldengeüberprüft，ob die公司e（电子）Folgenglieder bei位置c、 c+1。。。，c+e-1代码德鲁克（a、b）最好的Folge mit den Folgengliedern bei位置d、 d+1。。。，d+e-1吕贝列斯汀曼。

过去的辉煌与辉煌。ab Glied d der durch（a，b）定义折叠刺激

埃因·杰林格夫·基戈诺米歇尔·瓦兰特·坎恩·埃因盖塞特·沃登（wenn Eine geringfügigökonomischere Variante kann eingesetzt werden）c> d日vorausgesetzt werden darf公司：

Die ersten e Glieder ab Glied c bzw公司。ab Glied der durch（a，b）definerten Folge stimmenüberein（uner der Voraussetzung c>d） 哥德利西隆

Wir codieren einen TNT-Ausdruck wie folgt公司：Zunächst stellen wir um auf“波兰符号”，indem wir stets erst den Operator und erst danach die（bzw.den）Operatenden kodieren。在纳特利切·扎伦（natürliche Zahlen），Die einzelnen Operatorenübersetzen wir wie folgt：Implikation、Konjunktion、Gleichheit、Summe、Produkt、Allquantor、Negation、Nachfolger、Null werden durch die Zahlen 1,2,3,4,5,6,7,8,9 dargestellt（另见。nicht durch 0，sondern durch 9）。Die Zahlen ab 10 stehen für verschiedene Variablennamen，所以dass wir einen abzählbar unendlichen Vorrat和Variablen kodieren können。Den Wert 0水库位于Interpunktionszeichen，um Beweisschrite von einander zu trennen。Zahlentripel中的Schließlich packen wir diese endliche Zahlenfolge nach der oben beschriebenen Methode。

Beispielsweise wird aus dem 5号公路。公理zunächst die Folge“Allquantor，a，Allquanter，b，Gleichheit，Produkt，a，Nachfolger，b，Summe，Produtt，a，b，a”，dann die Zahlenfolge“6,10,6,11,3,5,10,8,11,4,5,11,10”und schließich ein Tripel（a、b、c），das diese Folge erzeugt。Hiervon können公司c=14麻省理工学院Sicherheit sagen，und wenigstens zub=13！lässt sich garaniert ein geeintes公司一芬登。

康·维迪·福克登·尤本·泽根b条oftmals erheblich kleiner als公司（c-1）！格瓦赫特·沃登。dennoch einzig zählt是不是已经存在了b条，wie großauch immer es sei。Selbst für Axiome werden unten im Prädikat公司ISTAXIOM公司基恩埃普利兹坦a、 b、cangegeben，sondern die einzelnen Folgenglieder mit dem序列-机械手。 欢迎TNT科特公司a=1249310，b=6，c=5达格斯特尔特？ 模具折叠机模数（（k+1）b）福尔k=0，…，c-1列表：6, 10, 3, 10, 10Rückübersetzt ergibt das die TNT-Kette公司. 韦尔奇TNT-Ketten werden durcha=1757214703，b=6，c=7bzw公司。a=344604504，b=6，c=7bzw公司。a=1736784930，b=6，c=7bzw公司。a=465483113793845547131，b=18，c=12bzw公司。a=3772572108377807485，b=12，c=13bzw。a=73408041575000042569773064730180，b=42，c=14达格斯特尔特？Es handelt sich um die fünf Axiome公司,,,und（单位）.

Um die u berprüfung auf Wohlgeformeit zu vereinfachen，defineeren wir（定义人）ein paar Prädikate公司。Die ersten erkennen Die Anzahl der Operanden，Die zu einem Operator gehören

ist eine变量 一个ist atomar（0阶变量） a ist unärer运算符（否定、Nachfolger或Interpunktion） ist binärer运算符

Ferner brauchen wir noch Prädikate，die Zahlausdrücke und Aussagen unterscheiden können：

Summen、Produkte、Nachfolger、Null、Variable ergeben Zahlausdrücke。 Implikation、Konjunktion、Gleichheit、Allquantor、Negation ergeben Aussagen。 Bleibt noch das Interpunktionszeichen公司。

Weiters unterscheiden wir noch nach den Typen（Ausdruck or Aussage）vom ersten und eventuell zweiten Operanden（澳大利亚或澳大利亚）

前歌剧演员冯·格里奇海特、Summe、Produkt、Nachfolger在Zahlausdruck。 前歌剧《插入》、《暗示》、《Konjunktion》、《否定》都是澳大利亚的歌剧。 《德兹韦特歌剧院》（Der zweite Operand von Gleichheit）、《萨姆》（Summe）、《普杜克》（Produkt is ein Zahlausdruck）。 《德兹韦特歌剧院的启示》、《魔术师》、《诱惑者》都是奥斯汀的作品。

《权力者》（Der Allquantor spielt eine Sonderrolle）、《旧运营商》（dar erste Operand nicht einfach ein Zahlausdruck ist）、《新通用变量》（sondern genauer eine Variable）、《运营商》杂志（die obendrein im zweiten Operanden frei vorkomt）。穆斯·达赫·格森特·格普吕夫特·沃登逝世。Schon in der定义der Wohlgeformit benötigen wir daher erstens einen Test，ob eine Variablev（v）在einem Teilausdruck vorkommt中：

变量v kommt in der durch（a，b）gegebenen Folge in den n Positionen ab p vor。

und zweitens，ob sie frei ist公司：

模具变量v wird in der durch（a，b）gegebenen Folge in den n Positionen ab p nicht quantisier。 Eine Variable kann in einem Ausdruck FREI sein，ohne in dem Ausdrack vorzukommen。Es wird nur gesagt，dass sie，falls sie vorkommt，nicht quantisier ist.（根据标准，Es wird-nur-gesagt属于新量化指标）。第一次v（v）gar keine Variable（erfüllt nicht ISTVAR），这就是FREI trivialerweise erfíllt。

Um ein Tripel（bzw.die dadurch bestimmte Zahlen-oder Symbolfolge）auf Wohlgeformit zuüberprüfen，nehmen wir eine Abbildung als gegeben an，die jeder Position in der Folge die Länge der dort beginnenden wohlgeformten Teilfolge zuordnet。Eine solche Funktion必须确保Anforderungen genügen和beweist i hrese it die Wohlgeform fit，sie sie all diesen Anforder ungen tatsächlich genígt。

Wir sehen es nicht als schadhaft an，dass in diesem Sinne die leere Folge wohlgeformt ist.我们将学习新知识。

Wir verbiegen die obige定义für endliche Folgen ein wenig insofern，als Wir voraussetzen，dass das eigntlich inrelevante Glied an der Stellec（c）“zufällig”ein Interpunktionszeichen sein soll.Dies stellt jedoch keine wirkliche Einschränkung dar，sondern es vereinfacht ein wenig die Formulierung。 （a，b，c）is eine wohlgeformte（aber nicht notwendig korrekte）TNT-Beweiskette und（d，b，c）gibt jeweils die Länger der an einer Position beginnenden wohlgeformten Teilkette an。 层次结构k个ein zulässiger指数，t吨der操作员和der Stellek个,u个der运算符des ersten Operanden undv（v）ggf。德德斯·兹韦滕。p、 q、r自从犹太人Teilketten的Längen der jeeilligen，苏萨门人passen müssen。Schließlich steht公司w个für eine变量：跌倒w个在beiden Operanden eines binären Operators auftaucht，因此，在贝登弗雷奥德的贝登数量（福穆利昂是auch fürt吨=Allquantor geeignet，da die allein stehende Variable des ersten Operanden dort frei vorkommt）。 是死的时候a=1249310，b=6，c=5dargestellte TNT-Kette wohlgeformt im Sinne dieses Prädikats（d.h.gibt es ein）d日麻省理工学院狼群（a、b、c、d）？是mit吗a=13309085，b=6，c=5？穿着Unterschied最好的衣服？是einfach，diese Frage ohne Nutzung der“Meta-Ebene”beantworten吗？沃伦·弗莱特（Warum verleitet die Meta-Ebene möglicherweise zu einer falschen Antwort），wenn man nicht genau aufpa？ Manüberprüft rasch在beiden Fällen die TNT-Kettedargestellt wird（vgl.auch-u bung-oben）。Es wäre insofren wünschenswert，位于贝登·法伦wahr ist公司。Alleridings stellt man fest，dass die mit等位基因a=1249310gebildete Folge an der Stelle（吉比特福勒）c（c）韦伦德西奇贝登·沃特5号公寓a=13309085der Wert 0，也称为Interpunktionszeichen ergibt。Ohne dieses Interpretationszeichen erkennt obiges Prädikat die Wohlgeformait nocht an。Eine weitere Schwierigkeit besteht darin，dass der Einfachheit halber die mit埃因法赫特·埃尔肯特讣告解读埃因法赫·哈尔伯医院（d、b、c）kodierte Längenfolge数据库b条韦文代特威迪麻省理工学院（a、b、c）科迪埃尔特·塞波尔奇。这是一个很好的例子，因为这不是一个很好的例子b条auch für die Längenfolge geeignet ist。 Erste Folgerungsregeln公司

Wir wollen Folgerungsregeln grundsätzlich在Form angeben，dass das Paar数据库（a、b）Beweiskette定义人，达斯·帕尔（d、b）死Längenfunktion，达斯·帕尔（l、b）die Levelfunktion（hierzu siehe unten）。Die nächsten参数（f）und（单位）克geben Beginn und Länge der zu beweisenden Teilkette an，die nächsten Paare，d.h.（geben begin und Lánge de zu beyesenden Teilkette an，dien näch sten Paare，d.h）。（h，i）和ggf。（j，k）这是一个很好的选择。在澳大利亚的解释中P（P）,问,R（右）.Der Beginn（也叫z.B.）。（f）)verweist jeweils auf das einleitende Interpunktitionszeichen公司，瓦伦德·迪·朗奇(克)Länge nach dem Interpunktionszeichen angibt公司与朗日相比，朗日是最棒的。

Grundsätzlich sei vorausgesetzt，数据库h<f和ggf。j<f所以是vielen StellenISTFWDKOPIE公司统计伊斯特科佩维尔文德特·沃登·坎恩（verwendet werden kann）。 P ist gleich Q公司 Wir werden später festlegen，wann eine solcheübernahme zulässig ist。死于Hilfe der Levelfunktion。 问题是“P und irgendewas” 问题是“irgendetwas und P” Rückgriff的海滩上有一个Längenfunction，这是一个最好的操作。埃因·施卢斯·贝斯皮尔斯韦斯·冯 auf die（polnischer符号）am Ende stehende Kette如此不羁。 列表“Q und R” 安德伦·法伦海滩上的海尔维（Hier wie in anderen Fällen beachte man）g=i+k+1陷入困境的kann，在Teilfolgen als wohlgeformt voraugesetzt werden之前。 问题是“Wenn R，dann P” Man könnte das zweite ISTKOPIE durch ISTFWDKOPIE ersetzen，aber dann müsste Man die Definition für FLGKONKLUSION im Wesentlichen kopieren。Wir verzichten auf diese Ersparnis zugunsten der u berschtlichkeit公司 P folgt aus Q per Symmetrie der Gleicheit（每个Gleichet对称的P folgtaus Q）。 Es wird nur geprüft，obder操作员bei（f）“=”列表。Aus Gründen der Wohlgeform利润muss der Operator bei小时ebenfalls“=”sein，wenn die anderen Bedingengen zutreffen，在Zahlausdrücke sind操作人员面前死去。在波兰符号中，Prädikat dies Prädikat dies Ausdrücke“=+ab+b a”和“=a+ab+b”是对称的 这是一个让Aussage der vorstehenden Bemwerkungüber Fehlschlüsse的人，而不是Ausdrücke的人。 P folgt aus Q und R per Transitivityät der Gleichheit（每格氏温度下的传递系数）。 Auch hier镀金：Wir testen，dassP（P）eine Gleichheitsaussage先生。Folglich wissen wir，zweite歌剧院R（右）伊恩·扎赫劳斯德鲁克，民谣作家R（右）eine Gleichheitsaussage，毛海雀问zwei Zahlausdrücke als Operanden hat und folglich eine Gleichheitsaussage ist.（扎赫劳斯杜尔·科耶·奥普兰登是一名演员）。Man zeige wiederum alsübung，达斯s、 t，utatsächlich die Längen der jeweiligen Operanden sein müssen。 P ist“nicht nicht Q” Man beachte，dass aus der Beziehung der Längen darauf geschlossen werden kann，dass bei（曼比切特）f+2个否定者stehen muss。 Wiederum verzichten wir auf die Verwendung von ISTFWDKOPIE zugunsten einerüberschttlicheren Form der folgenden定义。 问题是“nicht nicht P” 在diesem Fall müssen wir auf die Längenfunktion zurückgreifen，da-wir sonst einem Fehlschluss von（polnischer符号中的“=*ab*ab”）auf（“=S*ab*Sab”）aufsäßen。 Auch verzichten wir auf die Verwendung von ISTFWDKOPIE公司。 Q ist“Wenn dies，dann das”und P ist“文尼希特达斯，丹尼希特戴斯” Man mache sich klar，weshalb wir wiederum nicht prüfen müssen，dass an den entsprechenden Stellen bei公司P（P）wirklich Negations符号stehen。 Weitere Hilfsprädikate公司

Für die weiteren Folgerungsregeln benötigen wir die Möglichkeit，Variablen durch Ausdrücke zu ersetzen。Bevor wir den allgemeinsten Fall diskutieren，kommt der einfachste Fall，dass die（als frei vorausgesetzte）变量v（v）杜尔赫·埃尔兹特·维德（durch 0 ersetzt wird）。死亡是一个巨大的威胁。

“P”ist“Q”mit v ersetzt durch 0 Wir vergleichen jeweils entsprechende Folgenglieder公司x个und（单位）年.Es muss immer公司x=y盖尔滕，außer im Fally=v--丹麦穆斯林x=“0”赛因。Wenn Wohlgeformeit vorausgesetzt werden kann，数据库自动化v（v）eine frie Variable ist（oder ein sonstiges符号，das jedoch in问ohnehin nicht vorkommt），denn sonst würde das Ersetzen durch 0 nichts wohlgeformtes ergeben。

Ein weiterr einfacher Spezialfall besteht darin，埃因·韦特雷·埃因法赫尔·斯佩齐亚尔福尔，v（v）杜奇威格杜尔奇v+1版祖·埃尔岑。Hier bilden wir eine Hilfsfolge，die Positionen der ersten Folge auf solche der zweiten Folge abbildet希尔夫夫夫夫弗尔格修道院。

“P”ist“Q”mit v ersetzt durch v+1 文…，s。。。und（单位）……、t、u。。。埃南德·恩特普雷琴，缪斯·恩特韦德t=秒sein order（im Falles=v)t=“S”und公司u=v.

我是allgemeinsten Fall ist der fürv（v）埃祖塞岑德-奥斯德鲁克围城在塞班福勒-格格本（Symbolfolge gegeben）举行，在特里佩尔-纳特利彻-扎伦（Tripel natürlicher Zahlen）举行。Erneut konstruieren wir eine Hilfsfolge，die entsprechende Positionen der Folgen aufeinander abbildet（欧内特·科斯特鲁耶伦与希尔夫斯福勒，法国奥菲南德）。Es ist darauf zu achten，dass jede im Ersatzausdruck auftretende Variable frei ist。Sonst würde aus公司durch Spezialisieren（南加州）福根！

“P”ist“Q”mit v ersetzt durch“E” 索芬v（v）wirklich eine变量ist，folgt automatisch，dassE类Zahlausdruck的名字。Sonst ergäbe sich beim Ersetzen von公司v（v）keine wohlgeformte Formel公司。伊斯特·达根v（v）keine Variable，因此kann ERSETZE durchaus ziemlichen Unshin mit einander in Beziehung setzen（zum Beispiel“und”durch“nicht wenn-dann”ersetzen）。 Weitere折叠弹簧 P型模“Für alle v金边A[v]”，Q型模“A[0]”，r型模“Für alle v金边：温恩A[v]，丹恩A[v+1]” P is ein Spezialfall der allgemeinen Aussage Q公司

索芬v（v）eine Variable ist，死在keiner Hypothese zur Herleitung von问ungebunden auftaucht，dürfen wir folgendes Prädikat benutzen：

P ist“Für alle v gilt Q”

Die genannte Voraussetzung，数据库v（v）在keiner zur Herleitung benutzten Hypotese ungebonden auftaucht，lässt sich mit folgendem Prädikat Prüfen

v kommt in der Beweiskette（a，b）mit Längenfunktion（d，e）und Level-Funktion，（L，m）in keiner Hypothese，die für die Kette ab Position f benutzt wird，ungebunden vor。 小时durchläuft alle Interpunktions-位置vor（f）.zwischen水位下降小时（ausschließlich）和（f）（einschließlich）stets gröer ist als der Level bei小时bei就这样开始了小时埃因·福尔（f）贝努特斯假设。艾内尔·索尔钦·达夫v（v）将加尔·尼希特·奥夫塔琴（gar nicht auftauchen）作为量化指标。

索芬问死亡假想艾纳幻想家，R（右）让Aussage derselben幻想和P（P）die auf die Fantasie foldende Aussage，so kann es sich um die Konklusion handeln（如果是梦幻般的澳大利亚风情，那么就让我们来看看康克鲁斯处理：

Allerings muss man hierzu die genannte Beziehung zwischen den Ketten erst prüfen等位基因。

Der Level马赫贝小时埃琳·斯普龙·冯x个自动变速器x+1，贝（f）umgekehrt和bleibtzwischendurch oberhalb公司x个

Für andere Schlussregeln is die Verwendbarkeit wie folgt zu prüfen（法国）

小时kommt vor公司（f）从澳大利亚开始，Länge is stimmig und冯小时+1第二类f+1（频率+1）fällt der级别nie unter den bei小时+1. Zusammenführung先生 从0级开始到结束，这是一个新的水平。 Man beachte，根据10 kleiner gleichb*（f+3）die for derlichen weiteren Ungleichungen folgen，so dass wir PRESEQUENZ nutzen können.我是一名医生。 第一次定理（1249310,6,5）TNT的ein定理（wobei hier埃因法赫特·哈伯5统计SSSSS 0美国西部。geschrieben wurde）？是麻省理工学院定理（13309085,6,5）？穿着Unterschied最好的衣服？Wie weit können Sie bei der Beantwortung auf die“Meta-Ebene”verzichten？ 奎因

Zur Vollendung des Diagonalargumentes benötigen wir noch die“Quinierung”，das Einsetzen eirner Zahl in das von ihr codierte Prädikat。

Die（a，b，c）entsprechende Kette entsteht aus（d，e，f），indem Die Variable v durch Die Zahl n ersetzt wird。（Es ist vorauszusetzen，dass v nirgends gebunden ist） Die Zahl n ist Gödelnummer einer Prädikatsform，Die，wenn man Die Zah n für Die变量a einsetzt，ein Satz wird。

软件工程研究所n个埃因·哥德伦默·福尔（eine Gödelnummer für）.Dann stell sich die Frage，ob公司wahr ist公司。Das wäreäequivalent dazu，Das Das Einsetzen vonn个福尔在里面einen Satz von TNT ergibt，也称为zu der Aussage，数据库当心吧。Wenne eine Aussage wahr ist，kann aber ihre Negation nicht beweisbar sein（es sei denn，TNT ist widersprüchlich）。Es bleibt also noch die Möglichkeit，数据库法尔希主义者，也是沃尔、阿伯·伊本、维埃斯·塞尔伯·萨格特、尼希特·贝耶斯巴。

Prädikate扩建

Expandiert man das Prädikat，das die Crux des ganzen Beweises ist，nämlich公司,so ergibt sich rein技术