Kurs:Einführung in die mathematische Logik (Osnabrück 2018)/Vorlesung 23/latex
\setcounter{section}{23}
\zwischenueberschrift{Der erste Gödelsche Unvollständigkeitssatz}
Wir haben gesehen, dass die Unentscheidbarkeit des Halteproblems über die arithmetische Repräsentierbarkeit von Registerprogrammen zur Unentscheidbarkeit der Arithmetik führt. Beim Beweis des ersten Gödelschen Unvollständigkeitssatzes arbeitet man mit einem Fixpunkt zu einem negierten Ableitungsprädikat, um eine \anfuehrung{paradoxe}{} Situation zu erhalten. Ein Ableitungsprädikat
\zusatzklammer {zu einer Ausdrucksmenge $\Gamma$} {} {}
\mathl{a(x)}{} in einer freien Variablen soll die Eigenschaft haben, dass für jeden Satz
\mathl{s \in L_0^{\rm Ar}}{} die Ableitungsbeziehung
\mathl{\Gamma \vdash s}{} genau dann gilt, wenn
\mathl{\Gamma \vdash a(GN(s))}{} gilt. Man sagt, dass
\mathl{a(x)}{} die Ableitungseigenschaft \stichwort {schwach repräsentiert} {.} Ein solches Ableitungsprädikat muss es im Allgemeinen nicht geben. Anders formuliert bedeutet diese Eigenschaft, dass die einstellige Relation
\mavergleichskettedisp
{\vergleichskette
{ { \left\{ n \in \N \mid n \text{ ist Gödelnummer eines aus } \Gamma \text{ ableitbaren Satzes} \right\} }
}
{ \subseteq} { \N
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
in $\Gamma$
\definitionsverweis {schwach repräsentiert}{}{}
wird. Dass diese Teilmenge
\zusatzklammer {stark} {} {}
repräsentierbar ist, ist, wenn man die Widerspruchsfreiheit von $\Gamma$ voraussetzt, stärker. Aus
\mathl{\Gamma \vdash s}{} ergibt sich nämlich direkt die Hinrichtung
\mathl{\Gamma \vdash a(GN(s))}{,} und wenn
\mathl{\Gamma \vdash s}{} nicht wahr ist, so bedeutet dies im Falle der Repräsentierbarkeit, dass
\mathl{\Gamma \vdash \neg a(GN(s))}{} gilt, woraus bei widerspruchsfreiem $\Gamma$ die Nicht\-ableitbarkeit von
\mathl{a(GN(s))}{} folgt.
Im folgenden \stichwort {Unvollständigkeitslemma} {} gehört die Existenz eines \zusatzklammer {schwach} {} {} repräsentierenden Ableitungsprädikates zur Voraussetzung.
\inputfaktbeweis
{Logik erster Stufe/Ableitungen repräsentierbar/Unvollständig/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei $\Gamma$ eine widerspruchsfreie, arithmetische Ausdrucksmenge, die Repräsentierungen erlaube.}
\faktvoraussetzung {Die Ableitungsmenge
\mathl{\Gamma^\vdash}{}
\zusatzklammer {also die Menge der zugehörigen Gödelnummern} {} {}
sei
\definitionsverweis {schwach repräsentierbar}{}{}
in $\Gamma$.}
\faktfolgerung {Dann gibt es einen arithmetischen Satz
\mavergleichskette
{\vergleichskette
{q
}
{ \in }{ L^{\rm Ar}_0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
derart, dass weder $q$ noch seine Negation $\neg q$ aus $\Gamma$ ableitbar ist.}
\faktzusatz {Die Ableitungsmenge $\Gamma^\vdash$ ist also nicht
\definitionsverweis {vollständig}{}{.}}
\faktzusatz {}
}
{
Aus der
\definitionsverweis {Repräsentierbarkeit}{}{}
von
\mathl{\Gamma^\vdash}{} folgt, dass es einen arithmetischen Ausdruck in einer freien Variablen gibt, sagen wir
\mathl{a (x)}{,}
mit der Eigenschaft, dass
\mathdisp {\Gamma \vdash s} { }
genau dann gilt, wenn
\mathdisp {\Gamma \vdash a (GN(s))} { }
gilt. Wir betrachten die Negation
\mavergleichskette
{\vergleichskette
{ \beta
}
{ = }{ \neg a
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Nach
Satz 22.8
gibt es für $\beta$ einen Fixpunkt, also einen Satz $q$ mit
\mathdisp {\Gamma \vdash q \longleftrightarrow \beta (GN(q))} { }
bzw.
\mathdisp {\Gamma \vdash q \longleftrightarrow \neg a (GN(q))} { . }
Sowohl aus
\mathl{\Gamma \vdash q}{} als auch aus
\mathl{\Gamma \vdash \neg q}{} ergibt sich dann direkt ein ableitbarer Widerspruch, was der Widerspruchsfreiheit des Systems widerspricht.
Man beachte, dass die Repräsentierbarkeit der Ableitungsmenge hier eine explizite Voraussetzung ist, die nicht aus der allgemein vorausgesetzten Eigenschaft, Repräsentierungen zu erlauben, folgt. Letztere bezieht sich nur auf rekursive
\zusatzklammer {entscheidbare} {} {}
Relationen und Funktionen, es wird aber nicht vorausgesetzt, dass $\Gamma$ selbst oder $\Gamma^\vdash$ rekursiv ist.
\inputbemerkung
{}
{
Was passiert mit den Voraussetzungen in
Lemma 23.1,
wenn man den Satz $q$
\zusatzklammer {oder seine Negation} {} {}
einfach zu $\Gamma$ hinzunimmt? Zunächst führt die Hinzunahme von $q$ noch von $\neg q$ zu einem widersprüchlichen System. Im Beweis haben wir die Annahme
\mathl{\Gamma \vdash q}{}
\zusatzklammer {bzw. \mathlk{\Gamma \vdash \neg q}{}} {} {}
zu einem Widerspruch geführt, das bedeutet aber nicht
\mathl{\Gamma'=\Gamma \cup \{q\} \vdash p \wedge \neg p}{.} Ein Problem ist hierbei, dass die neue Ableitungsmenge
\mathl{(\Gamma \cup \{q\})^\vdash}{} nicht mehr repräsentierbar in
\mathl{\Gamma \cup \{q\}}{} sein muss. Vor allem aber ist sie keinesfalls mit dem alten Ableitungsausdruck
\mathl{a(x)}{} repräsentierbar, sondern, wenn überhaupt, mit einem neuen
\mathl{a'(x)}{.} Für dieses gibt es dann wieder einen neuen Fixpunkt $q'$. Es gibt keine rekursive Strategie, $\Gamma$ zu einer vollständigen Theorie aufzufüllen.
}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {1925_kurt_gödel.png} }
\end{center}
\bildtext {Kurt Gödel (1906-1978) bewies im Alter von $24$ Jahren seine Unvollständigkeitssätze.} }
\bildlizenz { 1925 kurt gödel.png } {} {Kl833x9} {Commons} {PD} {}
Die folgende Aussage heißt \stichwort {erster Gödelscher Unvollständigkeitssatz} {.}
\inputfaktbeweis
{Erster Gödelscher Unvollständigkeitssatz/Aufzählbar und Repräsentierungen/Unvollständig/Arithmetisch/Fakt}
{Satz}
{}
{
\faktsituation {Es sei
\mavergleichskette
{\vergleichskette
{\Gamma
}
{ \subseteq }{ L^{\rm Ar}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine arithmetische Ausdrucksmenge,}
\faktvoraussetzung {die
\definitionsverweis {widerspruchsfrei}{}{}
und
\definitionsverweis {aufzählbar}{}{}
sei und
\definitionsverweis {Repräsentierungen erlaube}{}{.}}
\faktfolgerung {Dann ist
\mathl{\Gamma^\vdash}{}
\definitionsverweis {unvollständig}{}{.}}
\faktzusatz {Es gibt also einen arithmetischen Satz, für den weder
\mathl{\Gamma \vdash q}{} noch
\mathl{\Gamma \vdash \neg q}{} gilt.}
\faktzusatz {}
}
{
Wir nehmen an, dass $\Gamma^\vdash$ vollständig ist. Da $\Gamma$ \definitionsverweis {aufzählbar}{}{} ist, ist $\Gamma^\vdash$ nach Lemma 21.9 \definitionsverweis {aufzählbar}{}{} und nach Satz 21.10 auch \definitionsverweis {entscheidbar}{}{.} Da $\Gamma$ \definitionsverweis {Repräsentierungen erlaubt}{}{,} ist insbesondere $\Gamma^\vdash$ repräsentierbar. Daher sind die Voraussetzungen von Lemma 23.1 erfüllt und es ergibt sich ein Widerspruch zur angenommenen Vollständigkeit.
\inputfaktbeweis
{Erster Gödelscher Unvollständigkeitssatz/Arithmetisch/Wahr nicht beweisbar/Fakt}
{Korollar}
{}
{
\faktsituation {Es sei
\mavergleichskette
{\vergleichskette
{\Gamma
}
{ \subseteq }{ L^{\rm Ar}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine arithmetische korrekte Ausdrucksmenge,}
\faktvoraussetzung {die
\definitionsverweis {aufzählbar}{}{}
sei und
\definitionsverweis {Repräsentierungen erlaube}{}{.}}
\faktfolgerung {Dann gibt es einen in
\zusatzklammer {der Standardinterpretation} {} {}
$\N$ wahren Satz, der nicht zu $\Gamma^\vdash$ gehört, der also nicht aus $\Gamma$ formal ableitbar ist.}
\faktzusatz {}
\faktzusatz {}
}
{
Die Korrektheit bedeutet, dass
\mavergleichskette
{\vergleichskette
{ \Gamma^\vdash
}
{ \subseteq }{\N^\vDash
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt. Dies sichert zugleich die Widerspruchsfreiheit von $\Gamma$. Gemäß
Satz 23.3
gibt es einen Satz $q$, der weder selbst noch seine Negation $\neg q$ aus $\Gamma$ ableitbar ist. Da aber $\N^\vDash$ vollständig ist, muss entweder $q$ oder $\neg q$ in $\N$ wahr sein.
Diese Aussage ist für die erststufige Peano-Arithmetik und jedes größere aufzählbare widerspruchsfreie System anwendbar, wobei wir aber die Eigenschaft der Peano-Arithmetik, Repräsentierungen zu erlauben, nicht bewiesen haben.
\zwischenueberschrift{Der zweite Gödelsche Unvollständigkeitssatz}
Wenn die Ableitungsrelation
\mathl{\Gamma^\vdash}{} repräsentierbar ist und der zugehörige repräsentierende arithmetische Ausdruck $a$ bekannt ist, so ist auch der im Beweis zu
Lemma 23.1
verwendete Ausdruck $q$,
\zusatzklammer {also der Fixpunkt zu \mathlk{\neg a (x)}{}} {} {}
prinzipiell bekannt, da der Fixpunktsatz konstruktiv ist. Im Beweis des ersten Gödelschen Unvollständigkeitssatz war ein solches Ableitungsprädikat $a$ aber nur aufgrund der angenommenen Vollständigkeit vorhanden, die dann zum Widerspruch geführt wurde. Aus diesen Überlegungen ergibt sich weder die Existenz eines Ableitungsprädikates noch die eines Fixpunktes zum negierten Ableitungsprädikat.
Der zweite Gödelsche Unvollständigkeitssatz gibt hingegen explizit einen Satz an, der weder selbst noch seine Negation beweisbar ist, und zwar einen Satz von großer inhaltlicher Bedeutung: Es geht um den Satz, der die Widerspruchsfreiheit des gegebenen Systems behauptet.
Betrachten wir zunächst eine beliebige korrekte arithmetische Theorie
\mavergleichskette
{\vergleichskette
{T
}
{ \subseteq }{L^{\rm Ar}_0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
also eine deduktiv abgeschlossene Satzmenge, die bei der Standardinterpretation in $\N$ nur wahre Sätze ergibt
\zusatzklammer {dazu genügt es wegen der Korrektheit des Ableitungskalküls, dass sämtliche Sätze aus einem Axiomensystem $\Gamma$ für $T$
\zusatzklammer {also \mathlk{T=\Gamma^\vdash}{}} {} {}
in $\N$ wahr sind} {} {.}
Da $\N^\vDash$, wie jede Gültigkeitsmenge eines Modells, vollständig und widerspruchsfrei ist, ist auch $T$
\zusatzklammer {als Teilmenge von $\N^\vDash$} {} {}
widerspruchsfrei. Daher gehört zu $T$ kein Satz der Form
\mathl{p \wedge \neg p}{} und auch nicht der Satz
\mathl{\neg (0=0)}{}
\zusatzklammer {da ja die Identität \mathlk{0=0}{} dazugehört} {} {.}
Eine andere Frage ist es, ob das System bzw. die Theorie oder das Axiomensystem diese Un\-ableitbarkeit eines widersprüchlichen Satzes auch \anfuehrung{weiß}{.}
Schon im Unvollständigkeitslemma und im ersten Gödelschen Unvollständigkeitssatz kam wesentlich ein Ableitungsprädikat $a$ vor. Dieses hatte die Eigenschaft
\mathdisp {\Gamma \vdash s \text{ genau dann, wenn } \Gamma \vdash a(GN(s))} { , }
allerdings unter der Bedingung, dass $\Gamma^\vdash$ entscheidbar und damit in $\Gamma$
\zusatzklammer {das Repräsentierungen erlaube} {} {}
repräsentierbar ist. Aus der Entscheidbarkeit von $\Gamma$ folgt zwar die Aufzählbarkeit von $\Gamma^\vdash$, und daraus, wenn $\Gamma^\vdash$ zusätzlich vollständig ist, auch die Entscheidbarkeit von $\Gamma^\vdash$, sonst aber nicht. Diese Überlegung haben wir schon in umgekehrter Richtung angewendet, indem wir aus der Unentscheidbarkeit der Arithmetik auf die Unvollständigkeit der Peano-Arithmetik geschlossen haben
\zusatzklammer {siehe
Korollar 21.13} {} {.}
Es ist also keineswegs selbstverständlich, dass es ein sinnvolles entscheidbares Ableitungsprädikat gibt.
Allerdings ist ein schwächeres Ableitungsprädikat entscheidbar und damit repräsentierbar, nämlich die folgende zweistellige Ableitungsrelation. Dazu sei die Gödelisierung auf endliche Folgen von Ausdrücken
\zusatzklammer {die mögliche Ableitungsketten repräsentieren mögen} {} {}
ausgedehnt. Wir betrachten dann das zweistellige Prädikat
\mavergleichskette
{\vergleichskette
{A
}
{ \subseteq }{ \N \times \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {eigentlich \mathlk{A_\Gamma(x,y)}{,} da diese Teilmenge von $\Gamma$ abhängt} {} {,}
mit der Eigenschaft, dass
\mathl{(m,n) \in A}{} genau dann gilt, wenn $m$ die Gödelnummer einer korrekten Ableitung im Prädikatenkalkül aus $\Gamma$ ist, deren letzter Ausdruck
\zusatzklammer {also der in der Ableitung bewiesene Ausdruck} {} {}
die Gödelnummer $n$ besitzt. Diese Relation ist unter der Voraussetzung, dass $\Gamma$ entscheidbar ist, selbst entscheidbar. Man kann ja zum ersten Eintrag $m$ die Ableitung rekonstruieren, ihre Korrektheit im Prädikatenkalkül überprüfen und aufgrund der Entscheidbarkeit von $\Gamma$ feststellen, ob nur Ausdrücke aus $\Gamma$ als Voraussetzungen verwendet wurden. Wenn $\Gamma$ Repräsentierungen erlaubt, so gibt es einen arithmetischen Ausdruck mit zwei freien Variablen, sagen wir
\mathl{\delta(x,y)}{}
\zusatzklammer {eigentlich \mathlk{\delta_\Gamma(x,y)}{,} da dieser Ausdruck von $\Gamma$ abhängt} {} {,}
der für jede Belegung
\mathl{(m,n) \in \N^2}{} genau dann aus $\Gamma$ ableitbar ist, wenn
\mathl{(m,n)}{} zu $A$ gehört, wenn also $m$ einen Beweis aus $\Gamma$ für die Aussage zu $n$ kodiert.
Wie formuliert man die Eigenschaft, dass es einen prädikatenlogischen Beweis aus $\Gamma$ für die Aussage zu $n$ gibt?
Dies ist äquivalent dazu, dass es ein
\mathl{m \in \N}{} gibt, das einen Beweis dafür kodiert, dass es also ein
\mathl{m \in \N}{} mit
\mathl{(m,n) \in A}{} gibt, was aufgrund der Repräsentierbarkeit wiederum zu
\mathl{\Gamma \vdash \delta(m,n)}{} äquivalent ist. Dies impliziert
\mathl{\Gamma \vdash \exists x \delta(x,n)}{.} Hierbei gilt sogar die Umkehrung, da
\mathl{\Gamma \vdash \exists x \delta(x,n)}{} die Gültigkeit
\mathl{\N \vDash \exists x \delta(x,n)}{} bedeutet, was die Existenz einer natürlichen Zahl $m$ mit
\mathl{\N \vDash \delta(m,n)}{} bedeutet. Wäre
\mathl{(m,n) \notin A}{,} so würde sich über die starke Repräsentierbarkeit
\mathl{\Gamma \vdash \neg \delta(m,n)}{} ergeben und damit der Widerspruch
\mathl{\N \vDash \neg \delta(m,n)}{.}
Wie formuliert man die Eigenschaft, dass es keinen prädikatenlogischen Beweis aus $\Gamma$ für die Aussage zu $n$ gibt? Innerhalb der natürlichen Zahlen ist dies äquivalent dazu, dass für alle
\mathl{m \in \N}{} die Beziehung
\mathl{A(m,n)}{}
\betonung{nicht}{} gilt, was wiederum zu
\mathdisp {\N \vDash \forall x \neg \delta(x,n)} { }
äquivalent ist. Dies muss aber
\betonung{nicht}{} zu
\mathl{\Gamma \vdash \forall x \neg \delta(x,n)}{} äquivalent sein.
\inputdefinition
{}
{
Es sei $\Gamma$ eine korrekte
\definitionsverweis {aufzählbare}{}{}
arithmetische Ausdrucksmenge, die
\definitionsverweis {Repräsentierungen erlaube}{}{.}
Es sei
\mathl{\delta_\Gamma(x,y)}{} der $L^{\rm Ar}$-Ausdruck, der in $\Gamma$ die zweistellige Ableitungsrelation
\mavergleichskette
{\vergleichskette
{A
}
{ \subseteq }{\N^2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
repräsentiert.
Dann setzt man
\mavergleichskettedisp
{\vergleichskette
{ \alpha(y)
}
{ =} { \exists x ( \delta_\Gamma(x,y))
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und nennt dies das
\zusatzklammer {einstellige} {} {}
\definitionswort {Ableitungsprädikat}{.}
}
\inputfaktbeweis
{Arithmetische Ausdrucksmenge/Erlaubt Repräsentierungen/Ableitungsprädikat/Negiert/Fixpunkt/Unableitbar/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei $\Gamma$ eine korrekte
\definitionsverweis {aufzählbare}{}{}
arithmetische Ausdrucksmenge, die
\definitionsverweis {Repräsentierungen erlaube}{}{,}
es sei
\mathl{\alpha(x)}{} das zugehörige
\zusatzklammer {einstellige} {} {}
\definitionsverweis {Ableitungsprädikat}{}{}
und es sei $q$ ein Fixpunkt zum negierten Ableitungsprädikat, also
\mathdisp {\Gamma \vdash q \leftrightarrow \neg \alpha(GN(q))} { . }
}
\faktfolgerung {Dann ist $q$ aus $\Gamma$ nicht ableitbar.}
\faktzusatz {}
\faktzusatz {}
}
{
Wir nehmen
\mathl{\Gamma \vdash q}{} an. Dies bedeutet, dass es eine korrekte Ableitung von $q$ aus $\Gamma$ gibt. Diese Ableitung wird durch eine Zahl $m$ kodiert und somit ist
\mathl{(m, GN(q)) \in A}{.} Daher gilt
\mathdisp {\Gamma \vdash \delta(m,GN(q))} { , }
da ja $\delta$ das zweistellige Ableitungsprädikat repräsentiert. Aufgrund
der Existenzeinführung im Sukzedens
ist auch
\mathdisp {\Gamma \vdash \exists x \delta(x,GN(q))} { , }
also
\mathl{\Gamma \vdash \alpha (GN(q))}{.} Die Kontraposition der Fixpunkteigenschaft ergibt somit
\mathdisp {\Gamma \vdash \neg q} { , }
so dass ein Widerspruch vorliegt.
\inputbemerkung
{}
{
Das Beweisprädikat
\mathl{\alpha(y)}{} besitzt, wenn $\Gamma$ die Peano-Arithmetik umfasst, einige ausdruckstarke Eigenschaften, die auch in $\Gamma$ ableitbar sind. Der Beweis von diesen Eigenschaften ist aufwändig, da sie nicht abstrakt aus der Repräsentierbarkeit folgen, sondern im Beweiskalkül erarbeitet werden müssen. Wichtige Eigenschaften sind
\zusatzklammer {$\Gamma$ sei entscheidbar und enthalte die Peano-Arithmetik} {} {.}
\auflistungdrei{Wenn
\mathl{\Gamma \vdash s}{,} so ist
\mathl{\Gamma \vdash \alpha(GN(s))}{} für jeden Ausdruck
\mathl{s \in L^{\rm Ar}}{.}
}{Für je zwei Ausdrücke
\mathl{s,t \in L^{\rm Ar}}{} ist
\mathl{\Gamma \vdash \alpha( GN(s \rightarrow t)) \rightarrow ( \alpha (GN(s)) \rightarrow \alpha( GN(t)) )}{.}
}{Für jeden Ausdruck
\mathl{s \in L^{\rm Ar}}{} ist
\mathl{\Gamma \vdash \alpha(GN(s)) \rightarrow \alpha( GN( \alpha(GN(s))))}{.}
}
}
Diese und ähnliche Gesetzmäßigkeiten sind der Ausgangspunkt der \stichwort {Beweisbarkeitslogik} {,} die in der Sprache der Modallogik beweistheoretische Fragestellungen untersucht.
Die aufgelisteten Eigenschaften sind für ein Ableitungsprädikat natürlich wünschenswert; der naive Wunsch
\mathl{\vdash s \leftrightarrow \alpha(GN(s))}{} ist nicht realisierbar, da er in Verbindung mit dem Satz $q$ von oben
\zusatzklammer {der Fixpunkt zur Negation \mathlk{\neg \alpha (GN(s))}{}} {} {}
sofort einen internen Widerspruch ergibt. Die Verbindung der \anfuehrung{positiven}{} Eigenschaften des Ableitungsprädikates mit dem \anfuehrung{paradoxen}{} $q$ aus dem Fixpunktsatz liefert einen Beweis für den zweiten Unvollständigkeitssatz. Dazu braucht man nicht die volle Liste von oben, sondern es genügt zu wissen, dass die in
Lemma 23.6
auf Grundlage der Widerspruchsfreiheit von $\Gamma$ gezeigte Unableitbarkeit von $q$ aus $\Gamma$ sich in der Peano-Arithmetik selbst nachvollziehen lässt. D.h. es gilt
\mathdisp {PA \vdash WF(\Gamma) \longrightarrow \neg \alpha (GN(q))} { }
Dabei realisieren wir die Widerspruchsfreiheit
\mathl{WF(\Gamma)}{} intern durch die Unableitbarkeit des weiter oben schon erwähnten widersprüchlichen Satzes
\mathl{r=\neg (0=0)}{,} also durch
\mavergleichskettedisp
{\vergleichskette
{ WF(\Gamma)
}
{ =} {\neg \alpha (GN(r))
}
{ =} { \forall x \neg \delta(x, GN(r))
}
{ } {
}
{ } {
}
}
{}{}{.}
Die soeben erwähnte Aussage, dass die Widerspruchsfreiheit die Nichtableitbarkeit von $q$ impliziert, kann man auch aus den in
Bemerkung 23.7
angeführten Eigenschaften des Ableitungsprädikats erhalten, siehe
Aufgabe 23.17.
Die folgende Aussage heißt \stichwort {Zweiter Gödelscher Unvollständigkeitssatz} {.}
{Zweiter Gödelscher Unvollständigkeitssatz/Entscheidbar und Peano-Arithmetik/Widerspruchsfreiheit nicht ableitbar/Fakt}
{Satz}
{}
{
\faktsituation {Es sei $\Gamma$ eine arithmetische Ausdrucksmenge,}
\faktvoraussetzung {die
\definitionsverweis {widerspruchsfrei}{}{}
und
\definitionsverweis {entscheidbar}{}{}
sei\zusatzfussnote {D.h. $\Gamma$ ist entscheidbar, die Ableitungsmenge $\Gamma^\vdash$ muss nicht entscheidbar sein} {.} {}
und die
\definitionsverweis {Peano-Arithmetik}{}{}
umfasse.}
\faktfolgerung {Dann ist die Widerspruchsfreiheit
\mathl{WF(\Gamma)}{} nicht aus $\Gamma$ ableitbar, d.h. es ist
\mathdisp {\Gamma \not\vdash WF(\Gamma)} { . }
}
\faktzusatz {}
\faktzusatz {}
}
{Es sei $q$ ein Fixpunkt zum negierten Ableitungsprädikat. Aus der Annahme
\mathl{\Gamma \vdash WF(\Gamma)}{} folgt wegen
\mathdisp {PA \vdash WF(\Gamma) \longrightarrow \neg \alpha (GN(q))} { }
\zusatzklammer {was wir allerdings nicht bewiesen haben} {} {}
direkt
\mathdisp {\Gamma \vdash \neg \alpha (GN(q))} { . }
Aus der Fixpunkteigenschaft von $q$ folgt somit
\mathl{\Gamma \vdash q}{,} was aber in dem widerspruchsfreien System $\Gamma$ nach
Lemma 23.6