Professional Documents
Culture Documents
Mathematische Logik
Klaus Gloede
Mathematisches Institut der Universitat Heidelberg
Wintersemester 2006/07
INHALTSVERZEICHNIS i
Inhaltsverzeichnis
I Collegium Logicum 1
1 Die Aussagenlogik 4
1.1 Syntax der Aussagenlogik . . . . . . . . . . . . . . . . . . . . . 5
1.1.1 Definition der aussagenlogischen Formeln . . . . . . . . . 5
1.1.2 Induktion und Rekursion . . . . . . . . . . . . . . . . . . 6
1.1.3 Beweis durch Induktion u ber den Formelaufbau . . . . . . 8
1.1.4 Definition durch Rekursion u ber den Formelaufbau . . . . 9
1.2 Semantik der Aussagenlogik . . . . . . . . . . . . . . . . . . . . 10
1.2.1 Wahrheitsfunktionen . . . . . . . . . . . . . . . . . . . . 10
1.2.2 Interpretation von aussagenlogischen Formeln . . . . . . . 11
1.2.3 Definition der wichtigsten semantischen Begriffe . . . . . 12
1.2.4 Einige wichtige allgemeingultige Formeln . . . . . . . . . 14
1.2.5 Einige wichtige Aquivalenzen . . . . . . . . . . . . . . . 14
1.2.6 Boolesche Gesetze . . . . . . . . . . . . . . . . . . . . . 15
1.2.7 Einsetzungsregel . . . . . . . . . . . . . . . . . . . . . . 15
1.2.8 Ersetzungsregel . . . . . . . . . . . . . . . . . . . . . . . 16
1.3 Normalformen . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.3.1 Entscheidungsverfahren fur Boolesche Normalformen . . 19
1.3.2 Boolescher Reprasentationssatz . . . . . . . . . . . . . . 20
1.3.3 Das Dualitatsprinzip . . . . . . . . . . . . . . . . . . . . 21
1.4 Der semantische Folgerungsbegriff: Erfullbarkeit . . . . . . . . . 23
1.4.1 Zusammenhang zwischen Folgerung und Erfullbarkeit . . 24
1.5 Der syntaktische Folgerungsbegriff: Beweisbarkeit . . . . . . . . 25
1.5.1 Axiomensysteme und Beweise . . . . . . . . . . . . . . . 25
1.5.2 Korrektheit und Vollstandigkeit . . . . . . . . . . . . . . 26
1.5.3 Einige Axiomensysteme der Aussagenlogik . . . . . . . . 27
1.6 Vollstandigkeit und Kompaktheit . . . . . . . . . . . . . . . . . . 29
INHALTSVERZEICHNIS ii
II Mengenlehre 106
5 Grundlagen der Mengenlehre 107
5.1 Ordinalzahlen . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107
5.1.1 Ordnungen . . . . . . . . . . . . . . . . . . . . . . . . . 108
5.1.2 Definition der Ordinalzahlen . . . . . . . . . . . . . . . . 111
5.1.3 Satz: Charakterisierung von Ordinalzahlen . . . . . . . . 112
5.1.4 Die Ordnung der Ordinalzahlen . . . . . . . . . . . . . . 112
5.2 Mengen und Klassen . . . . . . . . . . . . . . . . . . . . . . . . 114
5.2.1 Komprehensionsaxiom . . . . . . . . . . . . . . . . . . . 115
5.2.2 Auswege aus den Antinomien . . . . . . . . . . . . . . . 116
5.2.3 Die mengentheoretische Sprache mit Klassentermen . . . 117
5.2.4 Uberblick u ber verschiedene Axiomensysteme . . . . . . 120
5.3 Extensionalitat und Aussonderung . . . . . . . . . . . . . . . . . 122
5.4 Relationen und Funktionen . . . . . . . . . . . . . . . . . . . . . 124
5.5 Vereinigung und Produkt . . . . . . . . . . . . . . . . . . . . . . 127
5.5.1 Vereinigung . . . . . . . . . . . . . . . . . . . . . . . . . 127
5.5.2 Potenzmenge und allgemeines Produkt . . . . . . . . . . 130
5.6 Uberblick u ber die ZF-Axiome . . . . . . . . . . . . . . . . . . . 133
9.1
Elementare Aquivalenz . . . . . . . . . . . . . . . . . . . . . . . 173
9.2 Die Theorie der dichten linearen Ordnung . . . . . . . . . . . . . 175
9.3 Kategorizitat . . . . . . . . . . . . . . . . . . . . . . . . . . . . 178
13 Modellvollstandigkeit 198
13.1 Robinsonscher Test . . . . . . . . . . . . . . . . . . . . . . . . . 200
17 Literatur 238
1
Teil I
Collegium Logicum
2
So lautet ein bekanntes Beispiel eines logischen Schlusses. Dabei sagt die Lo-
gik nichts aus u ber die Gultigkeit der Einzelaussagen, insbesondere behauptet sie
nicht die Sterblichkeit von Sokrates, sondern die Wahrheit dieser Aussage unter
Annahme, da die beiden vorangehenden Aussagen (die Pramissen) wahr sind.
Nach dem gleichen Muster konnte man auch folgern:
Bereits A RISTOTELES (384 - 322 v. Chr.) hat in seiner Syllogistik damit begon-
nen, derartige Schluweisen zu formalisieren und alle moglichen Schlusse syste-
matisch auf ihre Gultigkeit zu untersuchen1 . Auch erste Ansatze einer Aussagen-
logik finden sich bei A RISTOTELES ; sie wird vor allem in der Stoa und in der
Scholastik weiterentwickelt. Den obigen Schlu konnen wir in moderner Symbo-
lik in der Form
schreiben. Daraus wird deutlich, da der Schlu ganz allgemein und allein auf-
grund seiner Form gilt - die Untersuchung derartiger Schluweisen ist Gegen-
stand der Mathematischen Logik (auch Formale Logik, Symbolische Logik oder
Metamathematik, von Philosophen auch Moderne Logik oder Logistik genannt).
Die Mathematische Logik ist
(ii) eine formale mathematischen Theorie zu entwickeln. Dadurch kann die Ma-
thematische Logik (als Metatheorie) u ber die Mathematische Logik selbst
(und zwar nun als formale mathematische Theorie) Aussagen machen. Die-
se sind moglicherweise ruckbezuglich und damit haufig widerspruchsvoll
(z. B.: Antinomie des Lugners); in diesem Fall jedoch kann man sie nach K.
G ODEL benutzen, um die Grenzen ihrer eigenen Methode aufzeigen (etwa
in Form der G ODEL schen Unvollstandigkeitssatze).
4
Kapitel 1
Die Aussagenlogik
sie ist Bestandteil fast jeder weiteren Logik, insbesondere der spater ein-
zufuhrenden Pradikatenlogik (PL).
Beginnen werden wir mit dem Aufbau einer formalen Sprache: Aus einer vor-
gegebenen Liste von Zeichen oder
Symbolen (entsprechend dem Alphabet einer naturlichen Sprache) werden
nach bestimmten formalen Gesetzen Zeichenreihen gebildet und als
Aussagenlogische Formeln werden wir wie oben mit kleinen griechischen Buch-
staben , , , . . . bezeichnen, Aussagenvariable auch mit A, B,C, . . .
A, A, B, (((A B) A) (A C)),
Klammerregeln
Klammern dienen der eindeutigen Darstellbarkeit von Formeln, konnen zur bes-
seren Lesbarkeit jedoch in einigen Fallen eingespart werden:
Auere Klammern konnen fortgelassen werden: Schreibe
A C statt (A C).
1.1. S YNTAX DER AUSSAGENLOGIK 6
also vom einfachen Fall zum komplizierten u bergeht - man spricht dann von einem
Beweisverfahren durch Induktion. Dieses Prinzip ist bekannt aus der Theorie der
naturlichen Zahlen:
die naturlichen
Induktionsprinzip fur Zahlen
Es sei E eine Eigenschaft mit
die naturlichen
(Starkes) Induktionsprinzip fur Zahlen
Es sei E eine Eigenschaft mit
die naturlichen
Minimumsprinzip fur Zahlen
Falls es eine naturliche Zahl m mit der Eigenschaft E(m) gibt,
so gibt es eine kleinste derartige Zahl.
Aussagen u ber alle Formeln kann man durch Induktion beweisen, indem man
ein Komplexitatsma einfuhrt, d. h. eine Funktion k, die allen Formeln eine naturli-
che Zahl zuordnet, so da
(Ai ) = 0,
() = () + 1,
( ) = max((), ()) + 1, wobei = , , , .
1.1.3 Beweis durch Induktion uber den Formelaufbau
Es sei E eine Eigenschaft mit
(ii) Gilt E() fur alle mit k() < k(), so auch E().
Die Rangfunktion haben wir oben durch Rekursion definiert; damit dies zu-
lassig ist, benotigen wir die
1.1. S YNTAX DER AUSSAGENLOGIK 9
Lemma
Es sei eine a. F., w eine endliche Zeichenreihe. Dann gilt:
Falls die Zeichenreihe w eine a. F. ist, so ist w leer, also w = .
Dieses Lemma - zugleich ein gutes Beispiel fur eine syntaktische Aussage!
- beweist man am besten durch Induktion u ber die Anzahl l(w) der Zeichen in
w.
Neben der rekursiven Definition eines Pradikats (wie im Falle des Formelbe-
griffs) haben wir im Falle der Rangfunktion eine rekursive Definition einer Funk-
tion. Auch derartige Funktionen haben ihr Vorbild in der Zahlentheorie, wo man
etwa die Funktion n! rekursiv definiert durch
0! = 1, (n + 1)! = n!(n + 1).
Diese Definition liefert nur deshalb eine Funktion, weil fur eine Zahl n 6= 0 der
Vorganger m von n (mit m0 = n) eindeutig bestimmt ist. Die entsprechende Vor-
aussetzung fur den Formelbegriff haben wir gerade mit der eindeutigen Lesbarkeit
der Formeln bewiesen.
1.1.4 Definition durch Rekursion uber den Formelaufbau
Zu gegebenen Funktionen g0 , . . . , g5 (geeigneter Stellenzahl) lat sich eine Funk-
tion g auf der Menge der a. F. definieren durch:
g(A) = g0 (A)
g() = g1 (g())
g( ) = g2 (g(), g())
g( ) = g3 (g(), g())
g( ) = g4 (g(), g())
g( ) = g5 (g(), g())
1.2. S EMANTIK DER AUSSAGENLOGIK 10
(Wir behandeln hier die 2-wertige Logik, nehmen also an, da es genau zwei
Wahrheitswerte gibt, namlich W und F.)
1.2.1 Wahrheitsfunktionen
1-stellige Wahrheitsfunktionen
W id F
W W W F F
F W F W F
Neben den bereits eingefuhrten tritt hier noch das entweder-oder auf, das
weder-noch (nor, P EIRCE) sowie (nand, S HEFFERs stroke).
3
Weiterhin gibt es bereits 22 = 256 3-stellige Wahrheitsfunktionen, allgemein
n
22 n-stellige Wahrheitsfunktionen, auf die wir spater noch zuruckkommen wer-
den.
1.2. S EMANTIK DER AUSSAGENLOGIK 11
(1) von den Wahrheitswerten, die die Aussagenvariablen erhalten, sowie davon,
(2) wie aus den Aussagenvariablen mit Hilfe der aussagenlogischen Ver-
knupfungen zusammengesetzt ist:
Dabei steht * fur die 2-stelligen Operationen. Zu beachten ist, da auf der lin-
ken Seite innerhalb der Klammern die Symbole fur die aussagenlogischen Ver-
knupfungen, auf der rechten Seite aber die zugeordneten Operationen stehen, die
man aus den Wahrheitstafeln entnimmt (und die wir dort der Einfachheit halber
auch mit den entsprechenden Symbolen bezeichnet haben).
Beispiel
Es sei = (A C) D, also V () = {A,C, D}. Ferner sei V = {A, B,C, D},
und f : V {W, F} sei definiert durch
1.2. S EMANTIK DER AUSSAGENLOGIK 12
Dann erhalt man durch sukzessive Berechnung (entsprechend der rekursiven De-
finition):
A B C D AC (A C) D D
f W W F W F W W F F
f () hangt hier naturlich nicht von f (B) ab, da B nicht in vorkommt. Allgemein
gilt:
Satz
f () hangt nur von f V () (und naturlich von ) ab, d. h. sind f und g zwei
Belegungen, die (mindestens) auf V () definiert sind und dort u bereinstimmen, so
ist f () = g().
Einfache Beispiele
ag[A A], kd[A A], er f b[A], er f b[A], aber A (und auch A) sind weder
allgemeingultig noch kontradiktorisch.
1.2. S EMANTIK DER AUSSAGENLOGIK 13
Es gilt offenbar:
ag[] kd[]
er f b[] nicht kd[]
ag[] = nicht ag[] (aber die Umkehrung gilt i. a. nicht)
ag[ ] ag[] und ag[]
er f b[ ] er f b[] oder er f b[]
ag[] oder ag[] = ag[ ] (i. a. ohne Umkehrung!)
er f b[ ] = er f b[] und er f b[] (i. a. ohne Umkehrung!)
Bemerkung
Die hier eingefuhrten Pradikate sind entscheidbar. Ein Entscheidungsverfahren
liefert (unmittelbar nach Definition) die Wahrheitstafelmethode; dieses Verfahren
besitzt jedoch exponentielle Komplexitat: Hat n Variable, so hat B(V ()) bereits
2n Elemente! Fur jedes einzelne f B(V ()) mu man f () berechnen, wobei
die Komplexitat dieser Berechnung abhangig ist von der Anzahl der logischen
Symbole in .
Damit lat sich die Aussagenlogik kalkulmaig behandeln - man spricht da-
her auch vom Aussagenkalkul. Dagegen wird sich spater zeigen, da die Allge-
meingultigkeit einer pradikatenlogischen Aussage sich i. a. nicht mehr entschei-
den lat; trotzdem spricht man (aus Grunden, die spater im Rahmen einer Axio-
matisierung deutlicher werden) auch vom Pradikatenkalkul.
1.2. S EMANTIK DER AUSSAGENLOGIK 14
1.2.4 Einige wichtige allgemeingultige Formeln
A impl A ,
A impl B und B impl C = A impl C ,
A impl B und B impl A = A aq
B.
1.2.5 Einige wichtige Aquivalenzen
Zu beachten ist der Wechsel von zu (und umgekehrt) in den beiden letzten
Formeln!
1.2. S EMANTIK DER AUSSAGENLOGIK 15
AB = BA Kommutativgesetze
AB = BA
A (B C) = (A B) C Assoziativgesetze
A (B C) = (A B) C
AA = A Idempotenzgesetze
AA = A
A (B C) = (A B) (A C) Distributivgesetze
A (B C) = (A B) (A C)
A (B A) = A Absorptionsgesetze
A (B A) = A
A A = V, A A = 0/ Komplementgesetze
A = A
0/ = V, V = 0/
(A B) = A B de M ORGANsche Gesetze
(A B) = A B
Dieses sind die Gesetze einer B OOLEschen Algebra, und zwar in mengen-
theoretischer Form ausgedruckt. Die entsprechenden aussagenlogischen Gesetze
erhalt man, wenn man folgende Ersetzungen vornimmt:
mengentheoretisch aussagenlogisch
= a q
0/ A A
V A A
Die obigen Gesetze haben wir fur Aussagenvariable aufgeschrieben; sie gelten
aber allgemeiner fur a. F. anstelle der Aussagenvariablen. Diese Tatsache ergibt
sich aus der
1.2.7 Einsetzungsregel
(A)
[/A]
1.2. S EMANTIK DER AUSSAGENLOGIK 16
Damit ist gemeint: Wenn der obere Teil allgemeingultig ist, so auch der untere.
Dabei schreiben wir auch (A), um anzudeuten, da die Aussagenvariable A in
(A) vorkommt, und mit
[/A]
bezeichnen wir die Formel, die aus wie folgt hervorgeht: Setze in an allen
Stellen, an denen die Aussagenvariable A vorkommt, die Formel ein.
Beispiel
Es ist ag[A A] und damit auch ag[ ] fur jede Formel .
1.2.8 Ersetzungsregel
(/)
Dabei bezeichnet
(/)
die Formel, die aus der Formel wie folgt hervorgeht: Ersetze in an einigen
(moglicherweise allen) Stellen die Formel durch die Formel .
Beispiel
Es ist ag[ A A], nach der Einsetzungsregel also auch ag[ ],
und somit erhalt man aus einer Formel eine a quivalente Formel, indem man an
einigen (oder allen Stellen) durch ersetzt.
1.3 Normalformen
Boolesche Umformung
Zu jeder aussagenlogischen Formel gibt es eine a quivalente B OOLEsche Formel
b , die dieselben Aussagenvariablen wie enthalt:
a q b , wobei V () = V ( b ).
Bemerkung
Indem man die entsprechenden Aquivalenzen benutzt, kann man auch noch
durch und (bzw. durch und ) ausdrucken und erreichen, da b nur
noch und (bzw. und ) enthalt, was im Hinblick auf manche Anwendun-
gen (z. B. Dualitatssatz) aber nicht immer erwunscht ist. Tatsachlich kann man
eine aussagenlogische Formel in eine a quivalente umformen, die nur noch eine
aussagenlogische Operation (namlich bzw. ) enthalt.
Eine Formel ist in konjunktiver Normalform (KNF) gdw sie eine Konjunktion
von Disjunktionen ist, wobei die einzelnen Disjunktionsglieder kein und kein
mehr enthalten, d. h. wenn sie von der folgenden speziellen Form ist
V W
i=1,...,n j=1,...,mi i j ,
1.3. N ORMALFORMEN 18
ist, wobei wiederum jedes i j eine Aussagenvariable oder eine negierte Aussagen-
variable ist. (Insbesondere sind A B sowie A B in konjunktiver und zugleich
in disjunktiver Normalform.)
a q k a q d , wobei
V () = V ( k ) = V ( d ), k in KNF, d in DNF.
( ) a q ( ) ( )
( ) a q ( ) ( )
Boolesche Normalformen
1.3.1 Entscheidungsverfahren fur
(i) sei in KNF. Dann gilt:
ag[ ] in jedem Konjunktionsglied von kommt mindestens eine Aussa-
genvariable zusammen mit ihrer Negation vor.
Beispiel
(A D A) (B A A B) (A B B A C)
ist allgemeingultig, nicht aber (A B A) (B A A D).
Hiermit erhalt man ein weiteres Verfahren, die Allgemeingultigkeit einer aus-
sagenlogischen Formel zu testen: Forme in eine KNF um und prufe nach,
ob die Bedingung von 1.3.1 (i) erfullt ist. Auch dieses Entscheidungsverfahren ist
von exponentieller Komplexitat wegen der Notwendigkeit, bei der Umformung
in eine KNF das Distributivgesetz anzuwenden. Dabei werden aus Konjunktionen
von Disjunktionen wesentlich langere Disjunktionen von Konjunktionen (und um-
gekehrt): Das allgemeine Distributivgesetz lautet:
1.3. N ORMALFORMEN 20
V W W V
i=1,...,n j=1,...,mi i j a q f P i=1,...,n i f (i) ,
Beweis: Wir definieren zunachst fur jedes f B(V ) eine Formel f , die genau
bei der Belegung f wahr wird (was wir unten mit (*) zeigen werden):
f (A1 ) f (An )
f = A1 . . . An , wobei AW F
i = Ai , Ai = Ai .
eine B OOLEsche Formel (in disjunktiver NF), die die Behauptung erfullt, weil sie
gerade fur alle f M wahr und sonst falsch wird:
Folgerungen
aus dem obigen Satz (bzw. aus dem Beweis) ergeben sich fur
die Schaltalgebra ,
den Ubergang von einer DNF zu einer a quivalenten KNF,
Beispiele
D((A B) C) = (A B) C
N((A B) C) = (A B) C
N ((A B) C) = (A B) C
DN ((A B) C) = (A B) C
1.3. N ORMALFORMEN 22
DN (A) = A
DN (A B) = A B aq
(A B)
DN (A B) = A B aq
(A B)
Satz
a) aq D(N ()) Bildung der Negation
D aq
b) aq D Dualitatssatz
und b) leicht aus a) folgern, was wir hier nicht ausfuhren. Naturlich kann man
eine Aussage negieren, indem man einfach das Negationszeichen davorschreibt;
Teil a) des obigen Satzes gibt eine sinnvollere Darstellung, in welcher das Nega-
tionszeichen nach innen verschoben wird (obwohl man in praktischen Fallen
es nicht gleich bis vor die atomaren Teilformeln verschieben wird). Der Dualitats-
satz erklart u. a., weshalb die B OOLEschen Gesetze stets in jeweils doppelter Form
auftreten.
1.4. D ER SEMANTISCHE F OLGERUNGSBEGRIFF : E RF ULLBARKEIT 23
1.4 Der semantische Folgerungsbegriff: Erfullbarkeit
Eine Formel ist allgemeingultig, wenn sie uneingeschrankt den Wert W erhalt.
Diesen Begriff werden wir jetzt relativieren zum Folgerungsbegriff:
Aussagenlogische Folgerungen
sei eine Formel, T eine (moglicherweise unendliche) Menge von Formeln, V
eine Menge von Aussagenvariablen mit T F(V ), F(V ), und schlielich sei
f : V {W, F} eine Belegung der Variablen in V .
f |= : f () = W
f erfullt
f |= T : fur alle T : f |= T
f erfullt
erfb[] : es gibt ein f mit f |=
ist erfullbar
erfb[T] : es gibt ein f mit f |= T T ist erfullbar
T |= : fur alle f : falls f |= T, so f |= folgt aus T
1 , . . . , n |= fur {1 , . . . , n } |= ,
|= ag[] .
Beispiele
(a) |= , (b) |= , (c) , |= , (d) , |= ,
aber: A 6|= A B.
Im Falle der Ersetzungsregel gilt: |= (/);
im Falle der Einsetzungsregel gilt jedoch i. a. nicht: (A) |= [/A]!
1.4. D ER SEMANTISCHE F OLGERUNGSBEGRIFF : E RF ULLBARKEIT 24
Satz
1 , . . . , n |= |= 1 . . . n
1.4.1 Zusammenhang zwischen Folgerung und Erfullbarkeit
T |= nicht erfb[T {}]
T 6|= erfb[T {}]
Lemma
erfb[T] es existiert kein mit T |= und T |=
es existiert ein mit T 6|=
Bemerkungen
1. Ist T endlich, so ist entscheidbar, ob T |= oder T 6|= . Es ist aber moglich,
da weder T |= noch T |= gilt (wenn T namlich zu wenig Information
u ber die Variablen in enthalt, z. B. A 6|= B und A 6|= B fur zwei verschie-
dene Variable A und B)! Denn es gilt zwar
T |= = T 6|= (fur erfullbares T), aber nicht umgekehrt!
1. die Sprache von A, gegeben durch eine (i. a. abzahlbare) Menge von Sym-
bolen, dem Alphabet der Sprache von A,
z. B. A0 , A1 , . . . , , , , , , (, ) im Falle der Aussagenlogik,
2. eine Menge von Formeln als bestimmte endliche Folgen von Symbolen,
z. B. den aussagenlogischen Formeln,
3. eine Menge von Axiomen, wobei jedes Axiom eine Formel ist,
z. B. , ,
,
4. eine Menge von Regeln der Form oder ,
,
z. B. , modus ponens: .
Es sei nun A ein Axiomensystem, eine Formel, T eine Menge von For-
meln (der Sprache von A). Ein (A-)Beweis von aus T ist eine endliche Folge
(1 , . . . , n ) von Formeln, so da
(B1) n = ,
Bemerkung
Enthalt A den modus ponens als Regel und gilt
`A ( ) oder `A ( ), so:
Satz
T und S seien Formelmengen, eine Formel.
2. (Endlichkeitssatz fur `)
Falls T `A , so existiert ein endliches T0 T mit T0 `A .
(a) Hilbert-Bernays
Sprache: A, B,C, . . . , , , , , , (, )
Axiome:
1. A (B A)
(A (A B)) (A B)
(A B) ((B C) (A C))
2. A B A
AB B
(A B) ((A C) (A B C))
3. A A B
B AB
(A C) ((B C) (A B C))
4. (A B) (A B)
(A B) (B A)
(A B) ((B A) (A B)) (bis hier: Positive Logik)
5. (A B) (B A) (bis hier: Minimalkalkul)
A A (bis hier: Intuitionistische Logik)
A A (klassische Logik)
1.5. D ER SYNTAKTISCHE F OLGERUNGSBEGRIFF : B EWEISBARKEIT 28
Regeln:
(A) ,
Einsetzungsregel: und modus ponens:
[/A]
Interessant ist hier die Gruppierung der Axiome nach den einzelnen aussagen-
logischen Operationen, zudem ist die Anordnung der letzten Axiome so gewahlt,
da man durch Weglassen verschiedene Teilsysteme der Aussagenlogik erhalt, die
sich durch ihre jeweiligen Anforderungen an die Negation unterscheiden.
(b) Shoenfield
Sprache: A, B,C, . . . , , , (, )
Die u brigen aussagenlogischen Operationen werden wie u blich definiert,
endliche Folgen von Disjunktionen und Implikationen werden durch Klam-
merung von rechts definiert:
1 2 . . . n : 1 (2 (. . . n )),
1 2 . . . n : 1 (2 (. . . n )).
Regeln:
( )
Expansion: Assoziativitat:
( )
,
Kurzung: Schnitt:
(c) Nicod
Dieses Axiomensystem kommt allein mit einer aussagenlogischen Verknupfung
aus, namlich mit (wobei A B bedeutet: nicht A oder nicht B), auerdem wird
auch nur nur ein Axiomenschema und nur eine Regel benotigt:
( ( )) {[ ( )] [( ) (( ) ( ))]}
, ( )
1.6. VOLLST ANDIGKEIT UND KOMPAKTHEIT 29
Das ist wohl das allerkurzeste (wenn auch nicht besonders intuitive) Axio-
mensystem. Hat ein Axiomensystem wenig Grundsymbole und/oder wenig Axio-
me und Regeln, so lat sich seine Korrektheit i. a. sehr schnell zeigen, dagegen
werden Beweise in einem solchen System sehr lang und umstandlich, und die
Vollstandigkeit ist dann entsprechend muhsam zu zeigen.
Alle diese Axiomensysteme sind korrekt, widerspruchsfrei und vollstandig, je-
doch nicht bezuglich Folgerungen, wenn sie die Einsetzungsregel enthalten. Um
diese Regel zu vermeiden, mu man die Axiome (wie in den letzten beiden Axio-
mensystemen) als Formelschemata schreiben!
Die Korrektheit beweist man in allen Fallen durch Induktion u ber die Lange
eines Beweises, d. h. man zeigt
Gilt auerdem:
so sind die Axiomensysteme auch korrekt bzgl. Folgerungen; modus ponens und
die u brigen betrachteten Regeln - auer der Einsetzungsregel! - erfullen diese Be-
dingung. So kann man leicht nachweisen, da das Axiomensystem von S HOEN -
FIELD korrekt bez uglich Folgerungen ist.
Kommutativitat
`
1.6. VOLLST ANDIGKEIT UND KOMPAKTHEIT 30
Beweis: Aus der Voraussetzung und dem Axiom erhalt man mittels
der Schnittregel: .
Modus Ponens
, `
d. h. auch der modus ponens
,
ist eine ableitbare Regel.
Beweis: Aus
(Voraussetzung)
(Expansion) erhalten wir mit Komm. und der Vor.
,
(Schnitt)
(Kurzung)
Lemma
Fur 1 i < j n gilt: i j ` 1 . . . n .
Beweis durch Induktion u ber n, wobei man n > 2 annehmen kann: Setze :=
3 . . . n . Dann ist zu zeigen: i j ` 1 (2 ).
Mit a hnlichen kombinatorischen Uberlegungen zeigt man:
Fall 2: m = 2. Dieser Fall ergibt sich aus dem vorigen Lemma zusammen mit
Komm.
i1 . . . im folgt
(i1 i2 ) . . . im mit der Assoziativregel
(i1 i2 ) nach Ind.vor. fur m 1 Formeln
( i1 ) i2 mit Komm.- und Assoziativregel
( i1 ) nach Ind.vor. fur 2 Formeln (m = 2)
1.6. VOLLST ANDIGKEIT UND KOMPAKTHEIT 32
Dabei zahlt bei der Induktionsvoraussetzung fur m 1 Formeln die Formel (i1
i2 ) als eine Formel!
Mit der Kommutativregel erhalten wir hieraus auch die Umkehrung der Asso-
ziativregel:
( )
( )
1.6.2 Lemma uber die Negation
(i) `
(ii) `
(iii) , ` ( )
Den Beweis u berlassen wir als Ubungsaufgabe.
Nunmehr konnen wir den (schwachen) Vollstandigkeitssatz beweisen als
1.6.3 Tautologiesatz
(i) |= = `
(ii) 1 , . . . , n |= = 1 , . . . , n `
Beweis: Zunachst zeigen wir, da (ii) bereits aus (i) folgt: Sei 1 , . . . , n |= .
Dann gilt |= 1 . . . n , also nach (i):
Der Beweis von (i) erfolgt durch eine raffiniert angesetzte Induktion: Wir zei-
gen
|= 1 . . . n = ` 1 . . . n
1.6. VOLLST ANDIGKEIT UND KOMPAKTHEIT 33
durch Induktion u ber i=1,...,n lz(i ), wobei lz() = Anzahl der logischen Zeichen
in ist:
1. Fall: Jedes i ist eine Aussagenvariable oder eine negierte Aussagenvaria-
ble. Falls |= 1 . . . n , so mu ein i = j fur ein j sein. Es ist dann aber
i j ein Axiom, also beweisbar, und damit nach 1.6.1 auch ` 1 , . . . , n .
Falls der 1. Fall nicht vorliegt, so ist mindestens ein i keine Aussagenva-
riable und auch keine negierte Aussagenvariable; durch Vertauschen konnen wir
annehmen, da diese Voraussetzung auf 1 zutrifft.
2. Fall: 1 = fur ein bzw. . Dann folgt aus der Annahme:
|= ( . . . n ), also gilt nach Induktionsvoraussetzung (hier liegt der Trick
des Beweises!) auch ` ( . . . n ) und nach der Assoziativregel dann auch
` 1 . . . n .
3. Fall: 1 = fur ein . Dann folgt aus der Annahme |= 2 . . . n ,
also nach Induktionsvoraussetzung auch ` 2 . . . n , und nach Lemma
1.6.2 (i) gilt dann ` 1 . . . n .
4. Fall: 1 = ( ) fur ein bzw. . Dann ist unter der Annahme
|= ( ) 2 . . . n , auch
|= 2 . . . n und |= 2 . . . n , und somit
` 2 . . . n und ` 2 . . . n nach Ind.vor., woraus
` 1 . . . n mit Lemma 1.6.2 (iii) folgt.
1.6.4 Deduktionstheorem
T ` T {} `
Wir werden dieses rein syntaktische Ergebnis spater im Rahmen der Pradika-
tenlogik auch rein syntaktisch beweisen.
Gleichbedeutend damit ist die Aussage, da die Menge der Folgerungen aus T
C(T) := { | T ` }
maximal konsistent ist, d. h. C(T) ist konsistent, besitzt aber keine echte konsi-
stente Erweiterung.
Eine Theorie ist inkonsistent (oder widerspruchsvoll) gdw. sie nicht konsi-
stent ist; a hnlich wie im Fall der semantischen Analoga (1.4.1) hangen Beweis-
barkeit und (In-)konsistenz miteinander zusammen:
1.6.6 Lemma uber Beweisbarkeit und Konsistenz
(i) T 6` T {} konsistent,
(ii) T ` T {} inkonsistent.
jede konsistente Theorie ist erfullbar
1.6.7 Vervollstandigung
Zu jeder konsistenten Formelmenge T gibt es eine vollstandige Erweiterung TV
T.
(i) T |= = T ` , also
T |= T ` .
(ii) T konsistent = T hat ein Modell, also
T konsistent T hat ein Modell.
Beweis von (i) mittels (ii):
T 6` = T {} konsistent nach 1.6.6 (i)
= T {} erfullbar nach (ii)
= T 6|= .
(Umgekehrt kann man aus (i) auch leicht (ii) erhalten!)
Beweis von (ii): Es sei T konsistent, TV eine vollstandige Erweiterung von T.
Wir definieren dann eine Belegung f von allen Aussagenvariablen durch
f (A) = W TV ` A.
Dann gilt allgemeiner fur alle Formeln :
() f |= TV ` .
Diese Behauptung beweist man leicht durch Induktion u ber ():
1.6. VOLLST ANDIGKEIT UND KOMPAKTHEIT 36
2. Ist = , so
f |= f 6|=
TV 6` nach Ind.vor. fur
TV ` da TV vollstandig
TV `
3. Ist = , so
f |= f |= oder f |=
TV ` oder TV ` nach Ind.vor. fur ,
TV ` ,
wobei sich die letzte Aquivalenz wie folgt ergibt:
Gilt TV ` oder TV ` , so auch TV ` nach der (verallgemeinerten) Ex-
pansionsregel.
Sei umgekehrt TV ` vorausgesetzt. Falls weder TV ` noch TV ` , so gilt
wegen der Vollstandigkeit von TV : TV ` und TV ` , also nach 1.6.2 (iii):
TV ` ( ), d. h. TV ` , und TV ware damit inkonsistent, Widerspruch!
Mit Hilfe des Endlichkeitssatzes (aus 1.5.2) erhalten wir als Korollar den
Kapitel 2
Im Mittelpunkt der modernen Mathematik steht der Begriff einer Struktur. Diese
kommen vor als
relationale Strukturen:
Ordnungen, Graphen, Baume . . .
algebraische Strukturen:
Gruppen, Ringe, Korper, Vektorraume . . .
gemischte Strukturen:
topologische Gruppen, angeordnete Korper, geometrische Raume . . .
2.1 Strukturen
(A, (RA A A
i |i I), ( f j | j J), (ck |k K)),
2. RA
i A
ni (RA
i ist eine ni -stellige Relation auf A),
4. cA
k A (cA
k ist ein Element (eine Konstante) von A).
Die Anzahl der Relationen, Funktionen und Konstanten sowie ihre jeweiligen
Stellenzahlen (die 1 sein sollen) werden im Tripel
festgelegt, genannt Signatur oder Typ der Struktur. Die Indexmengen I, J, K wer-
den meistens endlich sein, so da man die einzelnen Relationen, Funktionen und
Konstanten auch einfacher hintereinander schreibt (s. folgendes Beispiel). Den
Grundbereich einer Struktur A bezeichnet man auch mit A = |A|, ebenso werden
wir den Grundbereich der Struktur B mit B bezeichnen, usw.
2.1.1 Beispiele
1. Die geordneten Gruppen (Z, <, +, 0) und (Q\{0}, <, , 1) haben eine 2-
stellige Relation, eine 2-stellige Funktion und eine Konstante, sind also
Strukturen vom Typ ((2),(2),{0}), aber nicht alle Strukturen dieses Typs
mussen geordnete Gruppen sein; man erhalt auch eine Struktur (A, R, f , c)
dieses Typs durch die Festlegung
denn die Gultigkeit von Axiomen haben wir (noch) nicht verlangt!
2.1. S TRUKTUREN 39
formale Sprachen
2.1.3 Symbole fur
Die Strukturen (Z, <, +, 0) und (Q\{0}, <, , 1) haben verschiedene Grundberei-
che sowie unterschiedliche Operationen, erfullen aber beide die Gesetze einer an-
geordneten Gruppe. Gibt es auch Eigenschaften, in denen sie sich unterscheiden?
Um Strukturen desselben Typs hinsichtlich ihrer Eigenschaften untersuchen und
vergleichen zu konnen, mussen wir die Eigenschaften in einer einheitlichen Spra-
che ausdrucken. So besagt zum Beispiel die Aussage
da es fur jedes Element x, welches groer als das neutrale Element ist, ein Ele-
ment y gibt, welches ebenfalls groer als das neutralen Element ist, so da das
Produkt von y mit y noch kleiner als x ist. Diese Aussage ist offensichtlich in
einigen, aber nicht allen Strukturen wahr (das hangt von der Interpretation der
Symbole ab).
Definition
Gegeben sei eine Signatur = ((ni |i I), (m j | j J), K). Eine (formale) Sprache
L zur Signatur besitzt als Alphabet folgende
1. logische Zeichen:
2. nicht-logische Zeichen:
Sprachen und Strukturen sind somit u ber die Signatur verbunden; haben die
Struktur A und die Sprache L dieselbe Signatur, so sagen wir auch, da A eine
L-Struktur ist, bzw. da L die Sprache der Struktur A ist.
2.2. U NTERSTRUKTUREN UND M ORPHISMEN 41
Als Symbole fur die Gruppenoperation bzw. das neutrale Element wahlt man
u blicherweise bzw. e; in konkreten Gruppen, wie
U1 A B,
H1 h : A B,
(Die Injektivitat von h besagt gerade, da (H2) auch fur die Gleichheitsrelation
gilt.) Ein
A ist isomorph zu B, A
= B , gdw es einen Isomorphismus h : A B
gibt.
Somit ist A B gdw die identische Abbildung iA : A B (mit i(a) = a fur
alle a A) eine Einbettung iA : A B ist.
2.2. U NTERSTRUKTUREN UND M ORPHISMEN 43
2.2.1 Beispiele
1. Es sei
2. Es sei
d c 4
c 6
@
I@
@ c 3
@
b c A @c c B
6
c 2
@
I
@
@ 6
@
@c
c 1
a
Ist B Universum einer L-Struktur B und enthalt die Sprache L nur Relations-
zeichen, so fuhrt jede nicht-leere Teilmenge A B wieder zu einer Unterstruktur
von B: Man schranke einfach die Relationen auf den Teilbereich A ein. Falls die
Sprache jedoch auch Funktionszeichen enthalt, mu A unter den entsprechenden
Funktionen von B abgeschlossen sein:
2.2.2 Satz uber Unterstrukturen
B sei eine L-Struktur, 0/ 6= A B. Dann ist A das Universum einer Unterstruktur
A B genau dann, wenn
(i) a1 , . . . , am A = f B (a1 , . . . , am ) A
fur alle m-stelligen Funktionszeichen f von L und
h[A] := {h(a) | a A}
die Bedingungen von Satz 2.2.2, ist also Universum einer Unterstruktur h[A] von
B, das homomorphe Bild von A.
Ist h sogar eine Einbettung, so ist h ein Isomorphismus von A auf h[A]. Haufig
identifiziert man in dieser Situation A mit dem isomorphen Bild h[A], d. h. man
ersetzt in B die Elemente h(a) durch ihre Urbilder a fur a A, um somit A B
zu erhalten (wahrend eigentlich statt A nur eine isomorphe Kopie hiervon Unter-
struktur von B ist).
2.3. T ERME EINER S PRACHE 45
(T1) Jede Variable und jede Individuenkonstante von L ist ein Term von L.
(T2) Ist f ein m-stelliges Funktionszeichen von L und sind t1 , . . . ,tm Terme von
L, so ist auch f (t1 , . . . ,tm ) ein Term von L.
Beispiele
Enthalt die Sprache L keine Funktionszeichen und keine Individuenkon-
stanten, so sind die Variablen die einzigen L-Terme.
was eigentlich schon die Interpretation eines Termes ist, denn hier muten
statt der Funktionen naturlich die entsprechenden Funktionszeichen stehen.
Die Interpretation eines Terms in einer Struktur A wird ein Element von A
sein, abhangig davon, wie wir die Variablen im Term belegen (der Wert von x + y
hangt von der Operation + sowie von den Werten von x und y ab).
Mit t(x1 , . . . , xn ) bezeichnen wir einen Term t, der (hochstens) die Variablen
x1 , . . . , xn enthalt (moglicherweise weniger - diese Festlegung ist zweckmaig, da
beim Ubergang von einem Term zu seinen Teiltermen Variablen verschwinden
konnen). Ein konstanter Term ist ein Term ohne Variable.
t A [a1 , . . . , an ] = ai fur t = xi ,
t A [a1 , . . . , an ] = cA
k fur t = ck ,
t A [a1 , . . . , an ] = f A (t1A [a1 , . . . , an ], . . . ,tmA [a1 , . . . , an ]) fur t = f (t1 , . . . ,tm ),
aA = a,
cA
k = cA
k ,
f (t1 , . . . ,tm )A = f A (t1A , . . . ,tmA ),
Dabei ist mit t[a1 /x1 , . . . , an /xn ] auf der rechten Seite der Term gemeint, der aus t
entsteht, indem man fur i = 1, . . . , n in t den Term ai fur die Variable xi einsetzt.
Ist B eine L-Struktur mit A B, so bezeichnen wir mit BA die Expansion
zu einer LA -Struktur, die alle Symbole von L wie in B interpretiert, jedoch die
zusatzlichen neuen Konstanten a mit a. Statt AA schreiben wir haufig kurz A.
Beachte den Unterschied zwischen einer Erweiterung und einer Expansion:
Wir konnen nun den Begriff der erzeugten Unterstruktur neu fassen:
Man kann leicht sehen, da fur Sprachen mit abzahlbar-vielen Symbolen und
fur unendliches A die Erweiterung zu A die Machtigkeit nicht a ndert (genauere
Aussagen werden wird spater der Kardinalzahlbegriffs der Mengenlehre ermogli-
chen, s. 8.5).
2.4. F ORMELN EINER S PRACHE 48
Beispiele
1. (Z, ) wird als geordnete Struktur nur von Z erzeugt, dagegen wird
2. (Z, +, , , 0, 1) als Ring bereits von der leeren Menge erzeugt, wahrend
Terme bezeichnen Objekte einer Struktur, Formeln Eigenschaften. Ahnlich wie
der Begriff eines Terms werden Formeln einer Sprache L (L-Formeln) durch
Rekursion definiert:
(F4) Ist eine L-Formel und x eine Variable, so ist auch x eine L-Formel.
: ( ),
: ,
: ( ) ( ),
x : x.
2.4.1 Beweis durch Induktion uber den Formelaufbau
Es sei E eine Eigenschaft mit
(2) unter der Annahme, da die Eigenschaft bereits fur die Formel (bzw. die
Formeln und ) gilt, fur die Formeln , ( ) und x nachweisen.
(1) nennt man wieder den Induktionsanfang, (2) den Induktionsschlu, welcher
aus einer Induktionsannahme und einer Induktionsbehauptung besteht. (Ahn-
liches gilt fur die Beweismethode der Induktion u ber den Termaufbau und auch
das Induktionsverfahren fur ein geeignetes Komplexitatsma, s. 1.1.3.)
2.4. F ORMELN EINER S PRACHE 50
Bildet man aus zwei Formeln , nach (F3) die neue Formel ( ), so
kann es vorkommen, dass dieselbe Variable y in der einen Formel frei, in
der anderen jedoch gebunden vorkommt:
und dazu mu man zusatzlich darauf achten, da beim Einsetzen eines Terms
t(y . . .) in eine frei vorkommende Variable x nicht durch den Term t eine Variable
y in den Bindungsbereich eines Quantors gerat, z. B. wenn man (y + 1) fur x in
die Formel (*) einsetzt, in welcher x u berall frei vorkommt!
Diese Probleme kann man durch die Wahl von unterschiedlichen Variablen fur
freie bzw. gebundene Variable umgehen (wie in der a lteren H ILBERT-Schule). Wir
wollen jedoch bei dem heute allgemein u blichen Gebrauch einer einzigen Sorte
2.4. F ORMELN EINER S PRACHE 51
von Variablen bleiben, andererseits aber Einsetzungen leichter handhaben und da-
her folgende Vereinbarungen treffen (die man intuitiv zwecks besserer Lesbarkeit
ohnehin wohl beachten wurde):
Unter dieser Voraussetzung kann man dann wieder einfach von freien bzw. gebun-
denen Variablen sprechen (anstatt von freien bzw. gebundenen Vorkommen).
Terme enthalten auf jeden Fall nur freie Variable, wahrend in Formeln sowohl
freie wie auch gebundene Variable vorkommen konnen. Da fur die Interpretati-
on von Termen bzw. Formeln in einer Struktur Belegungen der freien Variablen
angegeben werden mussen, schreiben wir oft
2.4.3 Substitution
sei eine Formel, s,t Terme, x eine freie Variable. Dann entstehe
Definition
Der Begriff Satz im Sinne der obigen Definition ist rein syntaktisch und natur-
lich nicht mit dem Begriff des Satzes im Sinne eines Theorems zu verwechseln!
Im Englischen unterscheidet man oft zwischen sentence und theorem; gelegent-
lich nennt man Satze im Sinne der obigen Definition auch Aussagen oder abge-
schlossene Formeln, um eine Verwechslung mit der Bedeutung als Theorem zu
vermeiden.
53
Kapitel 3
Nachdem wir die Interpretation von Termen in einer Struktur definiert haben, wer-
den wir in a hnlicher Weise die Bedeutung einer Formel in einer Struktur erklaren.
Gegeben sei
wie folgt:
A |= (t = s)[ f ] t A [ f ] = sA [ f ]
A |= R(t1 , . . . ,tn )[ f ] (t1A [ f ], . . . ,tnA [ f ]) RA
A |= [ f ] A 6|= [ f ]
A |= ( )[ f ] A |= [ f ] oder A |= [ f ]
A |= xi [ f ] es gibt ein a A mit A |= [ f (a/xi )],
wobei f (a/xi ) die Belegung f ist, allerdings mit a als Belegung von xi .
Auch hier lat sich eine alternative Definition angeben, die formal etwas ein-
facher ausfallt:
A |= (genauer: AA |= )
wie folgt:
A |= (t = s) t A = sA
A |= R(t1 , . . . ,tn ) (t1A , . . . ,tnA ) RA
A |= A 6|=
A |= ( ) A |= oder A |=
A |= x es gibt ein a A mit A |= [a/x]
Wiederum haben wir hier eine einfache Beziehung zwischen diesen beiden
Definitionen:
Dabei steht auf der linken Seite eine L-Formel mit hochstens x1 , . . . , xn als
frei vorkommenden Variablen, die mit a1 , . . . , an belegt werden, auf der rechten
Seite (bezogen auf die alternative Definition) ein LA -Satz , welcher an Stelle
der x1 , . . . , xn Namen fur die a1 , . . . , an enthalt. (Wenn nicht ausdrucklich darauf
hingewiesen wird, welche der beiden Definitionen gebraucht wird, mu dies aus
dem Zusammenhang erschlossen werden.)
Fur eine L-Formel = (x1 , . . . , xn ) sei := x1 . . . xn der universelle
Abschlu von . Wir definieren dann
durch
A |= : A |= x1 . . . xn
Die Axiome einer algebraischen Theorie schreibt man oft als Formeln auf,
z. B. a + b = b + a im Falle des Kommutativgesetzes der Gruppentheorie, meint
damit aber, da es in einer Gruppe fur alle Elemente gelten soll, d. h. in der Form
xy(x + y = y + x).
Die Wahrheit (oder Allgemeingultigkeit) einer L-Formel = (x1 , . . . , xn )
wird definiert durch
Das bedeutet also fur eine Formel , da sie bei allen moglichen Interpreta-
tionen der nicht-logischen Zeichen und fur alle Einsetzungen in die frei vorkom-
menden Variablen wahr sein mu. Ebenso definieren wir im Falle einer Menge
von Formeln: A ist Modell von gdw A ist Modell von allen :
A |= : fur alle : A |= .
Schlielich erklaren wir den semantischen Begriff der Folgerung: Eine For-
mel folgt aus der Formelmenge gdw sie in allen Modellen von gilt:
3.1.1 Satz uber neue Konstanten
Es sei eine Menge von Satzen der Sprache L, (~x) eine L-Formel und ~c eine
Folge von Individuenkonstanten (derselben Lange wie ~x), die in der Sprache L
nicht vorkommen. Dann gilt:
|= (~c) = |= ~x (~x).
Dieser Satz bedeutet also, da eine Aussage der Form ~x (~x) aus einer Menge
von Satzen folgt, wenn sie fur feste, aber beliebige Elemente folgt. Meistens
wird man als die Menge von Axiomen einer Theorie auffassen:
2. eine Menge von Formeln der Sprache L als Axiome der Theorie.
Da man die Sprache einer Theorie meistens aus den Axiomen ablesen kann, wer-
den wir in der Regel eine Theorie mit der Menge ihrer Axiome gleichsetzen.
Somit erklaren wir fur eine Theorie T mit der Axiomenmenge und eine
Formel :
A |= T : A |= A ist Modell von T,
T |= : fur alle A |= T : A |= folgt aus T.
T+ bezeichnet die Theorie T mit als zusatzlichem Axiom.
Jeder Theorie T (oder Menge von Satzen) kann man die Klasse ihrer Modelle
zuordnen:
Mod(T) := {A | A |= T} die Modellklasse von T,
und umgekehrt jeder L-Struktur A eine Menge von Satzen, ihre Theorie:
Th(A) := { | L-Satz, A |= } die (elementare) Theorie von A.
Haufig verlangt man von Theorien, da sie deduktiv abgeschlossen sind, zahlt
also auch alle Folgerungen zur Theorie. Stattdessen werden wir Theorien als
gleich ansehen, wenn sie dieselben Folgerungen haben (also sich hochstens durch
die Wahl ihrer Axiome unterscheiden), und diese Aussage bedeutet wiederum,
da sie dieselben Modelle haben:
T = T0 : fur alle Satze : T |= T0 |=
Mod(T) = Mod(T0 ).
3.3. D ER KOMPAKTHEITSSATZ UND EINIGE F OLGERUNGEN 57
Da Beweise endlich sein mussen, kann ein Beweis einer Aussage aus den Axio-
men einer Theorie auch nur von endlich-vielen Axiomen Gebrauch machen. Zu-
sammen mit dem oben erwahnten Vollstandigkeitssatz folgt daraus sofort der fur
die Modelltheorie zentrale
3.3.1 Kompaktheitssatz
Fur jede Theorie T und jeden Satz der Sprache von T gilt:
Man kann zeigen, da viele Theorien Modelle besitzen, an die man bei
der Axiomatisierung eigentlich nicht gedacht hat: Nicht-Standardmodelle
der P EANO-Arithmetik, die unendlich-groe Zahlen besitzen, oder Nicht-
Archimedisch angeordnete Korper.
Einige Klassen von Modellen lassen sich (in der Sprache der Pradikatenlo-
gik erster Stufe) nicht axiomatisch erfassen.
Anzahlformeln
In der Sprache der Pradikatenlogik lassen sich allein mit Hilfe der Gleichheit Satze
formulieren, die Aussagen u ber die Anzahl der Elemente einer Struktur machen
(explizite Angabe als Ubungsaufgabe):
3.3.2 Satz uber die Existenz unendlicher Modelle
T sei eine Theorie, die beliebig groe endliche Modelle hat (d.h. fur jede naturli-
che Zahl n hat T ein Modell mit mindestens n Elementen). Dann hat T auch ein
unendliches Modell.
Beweis: Nimm zur Theorie T die oben definierte Satzmenge hinzu und nenne
die erweiterte Theorie T0 . Dann gilt nach Voraussetzung u ber T:
also hat nach dem Kompaktheitssatz T0 selbst ein Modell, das dann Modell von T
ist und nicht endlich sein kann.
3.4. D IAGRAMME 59
3.4 Diagramme
Die Eigenschaften einer L-Struktur A werden durch ihre Theorie Th(A) be-
schrieben. Um auch die Eigenschaften anzugeben, die einzelne Elemente von A
besitzen, gehen wir wieder zur erweiterten Sprache LA u ber. A. ROBINSON hat
die (fur die Modelltheorie wichtige) Methode der Diagramme eingefuhrt: Fur eine
Menge H von L-Formeln ist das H-Diagramm von A die Menge der Satze
Das positive Diagramm kann man sich als eine Verallgemeinerung der Grup-
pentafel vorstellen; im Falle von (N, ) enthalt es das kleine und groe Einmaleins:
0 0 = 0, 0 1 = 0, . . . , 1 1 = 1, , 2 3 = 6, aber auch 2 (5 3) = 30, (1 2) 6 =
3 4, usw. (genauer immer mit n statt n geschrieben), das ROBINSON-Diagramm
enthalt zusatzlich auch die Ungleichungen 1 4 6= 2, 3 2 6= 5, . . . Dagegen ist
Th(AA ), das elementare Diagramm von A, die umfangreichste Beschreibung der
Eigenschaften aller Elemente von A, die in der Struktur A gelten.
Offensichtlich ist AA ein Modell von D(A) und sogar von Th(AA ). Es ist leicht
zu sehen, da fur A B auch die Struktur BA ein Modell von D(A) ist; allgemein
wird ein Modell von D(A) eine LA -Struktur der Form (B, (h(a))aA ) sein, wobei
h(a) = aB durchaus von a verschieden sein kann. Jedoch kann man in diesem Fall
A mit einer Substruktur von B identifizieren:
3.4.1 Diagrammlemma
Es sei A eine L-Struktur, (B, (aB )aA ) eine LA -Struktur und h : A B definiert
durch h(a) = aB . Dann gilt:
Beweis von (i): Wir schreiben kurz Bh fur (B, (h(a))aA ) und nehmen an, da
Bh |= D(A). Dann gilt fur beliebige a, b A:
a 6= b a 6= b D(A)
= Bh |= a 6= b nach Vor.
h(a) 6= h(b),
also ist h injektiv. Ahnlich im Falle der Relationszeichen:
Das gleiche Argument fur die Formel R liefert die Umkehrung, also
Mit denselben Argumenten zeigt man auch die umgekehrte Richtung von (i).
A B |= T = A |= T.
3.4. D IAGRAMME 61
(ii) A |= T .
universelle Formeln
3.4.4 Erhaltungssatz fur
Die folgenden Aussagen sind fur einen Formel a quivalent:
T |= .
Beweis von (i) (ii): Wir nehmen zunachst an, da ein Satz ist, welcher
T-persistent ist. Setze
:= { | universell, T + |= } = (T + ) .
Dann gilt
() T |= ,
denn ist A |= T , so existiert nach dem Modellerweiterungssatz 3.4.3 ein B mit
A B |= T + , also auch A |= nach (i).
Wegen (*) gibt es nach dem Kompaktheitssatz endlich-viele Satze 1 , . . . , k
mit
T + 1 . . . k |= ,
und da auch umgekehrt T + |= i fur alle i = 1, . . . , k, so gilt
T |= 1 . . . k .
3.5.1 Ordnungen
Die Theorie LO der partiellen Ordnungen (Halbordnungen) wird in einer Sprache
mit einem 2-stelligen Relationszeichen < formuliert und hat folgende Axiome:
Jede Menge A lat sich partiell ordnen durch {x, y | x, y Ax 6= y}, wobei alle
Elemente miteinander unvergleichbar sind. Dagegen erfullen linearen Ordnungen
zusatzlich das Axiom
Jede partielle Ordnung auf einer Menge lat sich zu einer linearen Ord-
nung erweitern, insbesondere:
Dieses Ergebnis ist keineswegs trivial, so kann man z. B. fur die Menge der
reellen Funktionen zwar eine partielle Ordnung leicht angeben, nicht aber eine
lineare Ordnung (zumindest nicht ohne besondere Zusatzaxiome). Der Kompakt-
heitssatz (und damit die Existenz linearer Ordnungen) folgt aus dem mengentheo-
retischen Auswahlaxiom (siehe 7.2), welches sogar die Existenz von Wohlordnun-
gen auf beliebigen Mengen nach sich zieht: Eine Wohlordnung auf einer Menge A
ist eine lineare Ordnung, in welcher jede nicht-leere Teilmenge ein kleinstes Ele-
ment besitzt (siehe 6.1.1). Diese Forderung ist nun nicht mehr als Eigenschaft 1.
Stufe (wobei also nur u ber die Elemente einer Menge quantifiziert wird) ausdruck-
bar, was sich leicht mit Hilfe des Kompaktheitssatzes zeigen lat. Dagegen lassen
sich dichte Ordnungen axiomatisieren; die entsprechenden Theorien werden wir
gesondert in 9.2 behandeln.
3.5. E INIGE MATHEMATISCHE T HEORIEN 64
xy x y = y x (kommutativ)
xyz(x y = x z y = z) (Kurzungsregel)
In a hnlicher Weise ist fur die Theorie TF der Korper (in der Sprache mit
+, , , 0, 1) der universelle Teil (TF ) die Theorie der Integritatsbereiche.
2. Die Klasse der unendlichen Gruppen, Korper, . . . lat sich mit Hilfe der (unend-
lichen) Satzmenge axiomatisieren, nicht aber die Klasse der endlichen Grup-
pen, der endlichen Korper, . . . (denn es gibt jeweils beliebig groe endliche Grup-
pen und Korper, und eine Theorie dieser Modelle mu dann nach dem Satz 3.3.2
u ber die Existenz unendlicher Modelle notwendig ein unendliches Modell ein-
schlieen). Ahnliches gilt fur die Theorie der Korper der Charakteristik 0 bzw.
endlicher Charakteristik:
Satz
L sei die Sprache der Theorie der Korper, ein Satz dieser Sprache.
Gilt in allen Korpern der Charakteristik 0 (bzw. in allen unendlichen Korpern),
so gibt es ein p, so da in allen Korpern der Charakteristik p (bzw. in allen
Korpern mit mindestens p Elementen) gilt.
Beweis: Es sei TF die Theorie der Korper (F fur englisch: field). Nimmt man den
Satz
{z. . . + 1} = 0
p := |1 + 1 +
pmal
hinzu, welcher ausdruckt, da die Charakteristik = p ist, so erhalt man die Theorie
der Korper der Charakteristik p. Um die Theorie TF,0 der Korper der Charakteri-
stik 0 zu erhalten, mu man TF erganzen um die unendlich-vielen Aussagen
{ p | p Primzahl}.
3.5. E INIGE MATHEMATISCHE T HEORIEN 65
Gilt nun in allen Korpern der Charakteristik 0, so TF,0 |= , also gibt es nach
dem Kompaktheitssatz ein endliches T0 TF,0 mit T0 |= . T0 kann aber nur end-
lich viele der Aussagen p enthalten, und daraus erhalten wir die Behauptung.
(Ahnlich im anderen Fall mit Anzahl- statt Charakteristik-Formeln.)
Eine EC-Klasse ist also eine Klasse von Strukturen, die sich durch einen einzel-
nen Satz (oder durch endlich-viele Satze) axiomatisieren lat, eine EC -Klasse
ist Durchschnitt von EC-Klassen und lat sich mittels einer Menge von Satzen
axiomatisieren.
Beispiele
1. elementare Klassen sind:
Die negativen Beispiele beruhen auf dem Kompaktheitssatz und dieser wie-
derum wesentlich auf der Eigenschaft von Beweisen, endlich zu sein. Geht man
zu erweiterten Logiken u ber, die etwa auch unendliche Konjunktionen und Dis-
junktionen zulassen, so kann man zwar wesentlich mehr ausdrucken, aber Bewei-
se sind nun nicht mehr notwendig endlich, die erweiterte Logik ist nicht mehr
vollstandig (bzw. nur in einem abgeschwachten Sinn), auch gelten die klassische
Satze der Modelltheorie dann hochstens noch mit Einschrankungen.
3.5.4 Zahlentheorie
Wahrend die algebraischen Theorien der Gruppen, Ringe, Korper, . . . sehr viele
Modelle besitzen, untersucht die Zahlentheorie Eigenschaften eines Modells, das
man das Standardmodell der Zahlentheorie nennt:
N = (N, +, ,0 , 0).
LPA sei die zugehorige Sprache, fur die wir auch +, , 0 als (nicht-logische) Sym-
bole wahlen, aber S fur die 1-stellige Nachfolgeroperation. Die Theorie des Stan-
dardmodells, Th(N), ist die Menge der LPA -Satze, die in diesem Modell gelten
- was sich zwar einfach definieren lat, aber doch immer noch viele offene Fra-
gen bereithalt. Die wichtigsten Eigenschaften des Standardmodells werden zu-
sammengefat als
Peano-Axiome:
P1 Sx 6= 0
P2 Sx = Sy x = y
P3 x + 0 = x
3.5. E INIGE MATHEMATISCHE T HEORIEN 67
P4 x + Sy = S(x + y)
P5 x 0 = 0
P6 x Sy = x y + x
sowie die unendlich-vielen Induktionsaxiome:
Die Theorie mit diesen Axiomen nennt man PA, die Peano-Arithmetik. Aus
dem Kompaktheitssatz folgt nun, da diese Theorie Nicht-Standardmodelle be-
sitzt, d. h. Modelle, die nicht isomorph zum Standardmodell sind, weil sie unend-
lich-groe Zahlen besitzen:
Satz
Es gibt ein (abzahlbares) Modell N von PA, welches nicht-isomorph zu N ist.
(Tatsachlich gibt es - wie wir spater zeigen werden - sogar in jeder unendlichen
Kardinalzahl ein Nicht-Standardmodell.)
Beweis: Erweitere die Sprache von PA um eine neue Konstante c fur ein unend-
lich-groes Element und bilde die erweiterte Theorie
Dasselbe Ergebnis erhalten wir auch, wenn wir die Theorie PA durch die Theo-
rie des Standardmodells ersetzen; wieder gibt es ein nicht-isomorphes (abzahl-
bares) Modell N , welches aber alle Satze erfullt, die auch im Standardmodell
gelten. Ein solches Modell kann man nach A. ROBINSON benutzen, um eine
Nonstandard-Analyis aufzubauen, d. h. eine Theorie, in welcher alle Aussagen
3.5. E INIGE MATHEMATISCHE T HEORIEN 68
der gewohnlichen reellen Zahlen gelten, in denen es aber noch zusatzlich infi-
nitesimal kleine Zahlen gibt.
Mittels Aussagen in der Sprache LPA kann man daher das Standardmodell
nicht charakterisieren, offenbar ist also die Sprache der Pradikatenlogik nicht aus-
drucksstark genug. Es liegt daher nahe, das Induktionsschema zu verstarken, in-
dem man den Eigenschaftsbegriff erweitert, und zwar geht man u ber zu einer
Sprache 2. Stufe, in welcher man zusatzlich die Moglichkeit hat, mittels Quan-
toren 2. Stufe P, P u ber alle Teilmengen (statt nur u ber die Elemente) des jewei-
ligen Grundbereiches zu quantifizieren:
Peano-Axiome 2. Stufe
P1 x Sx 6= 0
P2 xy(Sx = Sy x = y)
Allerdings taucht nun ein neues Problem auf: Im Gegensatz zur gewohnlichen
Logik der ersten Stufe gibt es fur die Logik 2. Stufe kein vollstandiges Axiomen-
system (zumindest solange nicht, wie man verlangt, da der Begriff eines Axioms
entscheidbar ist) und auch die meisten anderen Ergebnisse lassen sich nicht auf
die erweiterte Sprache u bertragen (tatsachlich ist es ja gerade der Kompaktheits-
satz, der zu Nichtstandardmodellen fuhrt). Nun gibt es aber einen Ausweg: Wir
konnen die obigen Axiome mengentheoretisch deuten und werden zeigen (6.3.1),
da im Rahmen der Mengenlehre das obige Axiomensystem genau ein Modell hat
bis auf Isomorphie, die Theorie also kategorisch ist in folgendem Sinn:
Jedes Modell von PA(2) ist isomorph zum Standardmodell (N,0 , 0).
Die Mengenlehre ihrerseits werden wir in der Sprache der Logik erster Stufe
axiomatisieren, so da diese Theorie ihrerseits nicht kategorisch ist, also nicht-
isomorphe Modelle besitzt.
3.5. E INIGE MATHEMATISCHE T HEORIEN 69
3.5.5 Mengenlehre
Die Mengenlehre spielt (ahnlich wie die Zahlentheorie) in der Mathematischen
Logik eine besondere Rolle:
unter dem einheitlichen Begriff der Menge dar, insbesondere haben wir
mengentheoretische Begriffsbildungen bei der Einfuhrung des Strukturbe-
griffes (inhaltlich) bereits benutzt. Wahrend syntaktische Begriffe auf zah-
lentheoretischer Grundlage eingefuhrt werden konnen2 , benotigt die Se-
mantik der Pradikatenlogik bereits den allgemeinen Mengenbegriff; eine
geeignete Fassung der Mengenlehre gehort somit zur Metamathematik der
Pradikatenlogik.
Beide Aspekte lassen sich nicht vollig voneinander trennen; insbesondere das
Auswahlaxiom (mit seinen vielen a quivalenten Fassungen) hat zahlreiche An-
wendungen in fast allen mathematischen Gebieten (einschlielich der Mathema-
tischen Logik), ist aber auch wichtig fur die Entwicklung der Theorie der transfi-
niten Kardinalzahlen.
2 Darauf
werden wir bei der Behandlung der G ODEL schen Unvollstandigkeitssatze im Teil IV
genauer eingehen.
70
Kapitel 4
die Pradikatenlogik
4.1 Ein Axiomensystem fur
(3) Gleichheitsaxiome:
1. x = x
2. x1 = y1 . . . xm = ym Fx1 . . . xm = Fy1 . . . ym
fur jedes m-stellige Funktionszeichen F
3. x1 = y1 . . . xn = yn Rx1 . . . xn Ry1 . . . yn
fur jedes n-stellige Relationszeichen R
Das letzte Gleichheitsaxiom wird insbesondere auch fur die 2-stellige Gleichheits-
relation gefordert!
Das Substitutionsaxiom besagt, da man eine Existenzaussage nachweisen
kann, indem man ein Beispiel angibt.
Regeln:
Zu den uns bereits bekannten aussagenlogischen Regeln
( )
Expansion: Assoziativitat:
( )
,
Kurzung: Schnitt:
Bemerkungen
1. Die Regel der -Einfuhrung heit auch Vordere Partikularisierung. Die an-
gefugte Variablenbedingung ist notwendig, sonst wurde man aus der beweisba-
ren Formel x = y x = y durch -Einfuhrung die Formel x(x = y) x = y
und mit der beweisbaren Formel x(x = y) auch die Formel x = y als beweisbar
erhalten, welche aber nicht wahr ist, da sie nur in 1-elementigen Strukturen gilt.
(Inhaltlich kann man auch so argumentieren: Es gilt x = 3 x ist Primzahl, aber
nicht x(x = 3) x ist Primzahl!)
2. Wo benutzt man die -Einfuhrung? Nehmen wir an, da wir in einem Beweis
zu der Aussage (x) gelangt sind. Um hieraus die Aussage zu erhalten,
brauchen wir - wenn von der Wahl eines x nicht abhangt (formal: wenn x in
nicht frei vorkommt) - nur zu versuchen, die Voraussetzung (x) fur (mindestens)
ein x nachzuweisen (formal: die Aussage x(x) zu beweisen). Dann konnen wir
namlich mittels -Einfuhrung und modus ponens tatsachlich die gewunschte Aus-
sage erhalten.
Den Beweisbegriff fur ein Axiomensystem der Pradikatenlogik (wie das oben
angegebene System von S HOENFIELD) konnen wir wortlich vom Aussagenkalkul
u bernehmen:
Bemerkung
Die Beweisbarkeit lat sich auch rekursiv wie folgt charakterisieren:
(S1) Jedes logische Axiom und jedes Axiom von T sind aus T beweisbar.
(S2) Ist die Pramisse (bzw. sind die Pramissen) einer Regel aus T beweisbar, so
auch ihre Konklusion.
Satz uber die Verallgemeinerte Korrektheit
T ` = T |=
() T ` = A |=
2. ist Axiom von T. Dann gilt die Beh. (*) offenbar wegen A |= T.
3. ist Konklusion einer Regel, deren Pramisse(n) aus T beweisbar ist (sind).
Gehe die einzelnen Regeln durch und zeige, da sich Gultigkeit in A von den
Pramissen auf die Konklusion vererbt.
Hier wollen wir erlautern, in welcher Weise das Axiomensystem von S HOEN -
FIELD die Aussagenlogik enthalt und aussagenlogisch vollstandig ist (Tautolo-
giesatz):
Den Grundbestandteilen der aussagenlogischen Sprache, also den Aussagen-
variablen, entsprechen in der pradikatenlogischen Sprache die atomaren Formeln
(Primformeln), wahrend die aussagenlogischen Operationen hier selbst wieder
vorkommen. Andererseits gibt es pradikatenlogische Formeln, die nicht atomar,
aber auch aussagenlogisch nicht weiter zerlegbar sind; diese werden zusammen
mit den atomaren Formeln elementar genannt:
4.2. D ER TAUTOLOGIESATZ 74
Die Bewertungen der elementaren Formeln treten an die Stelle der Belegun-
gen f der Aussagenvariable in der Aussagenlogik; ebenso wie sich diese (mittels
der Wahrheitstafeln) fortsetzen lassen zum Wahrheitswert f () einer aussagenlo-
gischen Formel , konnen wir jede Bewertung B fortsetzen zu einer Abbildung
B : { | L-Formel} {W, F}
B() = W B() = F,
B( ) = W B() = W oder B() = W.
Beispiele
Tautologien sind: , , nicht aber (obwohl wahre Aussagen):
x = x, x = y y = x, x(x = x); tatsachlich sind die letzten Formeln nicht aussa-
genlogisch, sondern erst pradikatenlogisch wahr (als elementare Formeln konnten
sie einfach mit F belegt werden).
Tautologiesatz
(i) Falls T ` 1 , . . . , n und 1 , . . . , n |=AL , so T ` ,
Beweis: Offensichtlich folgt (i) aus (ii) , und (ii) folgt aus (iii): Sei
4.3. S UBSTITUTION UND UNIVERSELLER A BSCHLUSS 75
Somit bleibt nur (iii), d.h. die einfache Vollstandigkeit des aussagenlogischen
Teils, zu beweisen. Dazu geht man wie beim Beweis des Vollstandigkeitssatzes
fur die Aussagenlogik vor und erhalt
|=AL =|= A ,
wobei A die aussagenlogische Formel ist, die aus entsteht, indem man die
elementaren Formeln 1 , . . . , n durch Aussagenvariable A1 , . . . , An ersetzt. Der
Vollstandigkeitssatz fur die Aussagenlogik ergibt nun ` A , und aus einem aussa-
genlogischen Beweis von A erhalt man einen (pradikatenlogischen) Beweis von
, indem man in diesem Beweis nun umgekehrt die Aussagenvariable A1 , . . . , An
durch die elementaren Formeln 1 , . . . , n ersetzt.
Aufgrund der Aussage (i) des Tautologiesatzes konnen wir somit aussagen-
logische Argumente (praziser: tautologische Folgerungen) in pradikatenlogische
Folgerungen u bernehmen, wovon wir im folgenden haufig stillschweigend Ge-
brauch machen werden.
(1) Voraussetzung
(2) tautologisch aus (1)
(3) x mit -Einfuhrung (die Var.bedingung ist erfullt!)
(4) x tautologisch aus (3)
x nach Definition des -Quantors
4.3.2 Satz uber die Generalisierung
` x
Beweis :
(1) Voraussetzung
(2) x tautologisch: Abschwachung von (1)
(3) x x mit -Einfuhrung (die Var.bedingumg ist erfullt!)
(4) x tautologisch aus (3)
4.3.3 Substitutionsregel
Voraussetzung
(1) x1 d.h. x1 Generalisierung
(2) [t1 /x1 ] x1 Substitutionsaxiom
(3) x1 [t1 /x1 ] tautologisch aus (2)
[t1 /x1 ] aus (1) und (3) mit modus ponens
n 1: Setze 0 = [t1 /x1 , . . . ,tn /xn ] und wahle n neue Variable y1 , . . . , yn , die
weder in noch in 0 vorkommen. (Dadurch erreichen wir, da fur die neuen
Variablen die hintereinander ausgefuhrte Substitution mit der simultanen Substi-
tution u bereinstimmt.)
Wenden wir nun den Fall n = 1 sukzessive an, so erhalten wir aus :
Die Bedeutung ist klar: Unter der Annahme (x1 , . . . , xn ) gilt diese Aussage
generell (Generalisierung), also insbesondere fur beliebige (substituierbare) Ter-
me (wobei diese wiederum neue Variable einfuhren konnen). - Als Verallgemeine-
rung des Substitutionsaxioms erhalten wir (zusammen mit seiner dualen Fassung
(ii)):
4.3.4 Substitutionssatz
Beweis von (i): Aus den Substitutionsaxiomen folgt durch mehrfache Anwendung:
xn
xi1 . . . xn xi xi1 . . . xn
x1 . . . xn
Distributionsregel
` x x
` x x
Beweis:
(1) Voraussetzung
(2) x Substitutionssatz
x tautologisch aus (1), (2)
x x mit -Einfuhrung (die Variablenbedingung ist erfullt!)
Dieser ist immer ein Satz (d. h. eine Formel ohne frei vorkommende Variable).
4.4. E RSETZUNG UND U MBENENNUNG , G LEICHHEIT 79
4.3.5 Abschlusatz
Ist der universelle Abschlu von , so sind beide deduktionsgleich:
T ` T ` .
Somit ist es gleichbedeutend, aus einer Theorie T eine Formel (x, y, . . .) oder
ihren universellen Abschlu xy (x, y, . . .) zu beweisen:
Wie in der Aussagenlogik gilt auch hier, da der Wahrheitswert einer Formel sich
nicht a ndert, wenn man innerhalb der Formel eine Teilformel durch eine andere
mit gleichem Wahrheitswert ersetzt. Hier zeigen wir das syntaktische Gegenstuck:
Ersetzt man innerhalb einer Formel eine Teilformel durch eine a quivalente,
so erhalt man wiederum eine zu a quivalente Formel. (Dabei braucht man die
erwahnte Teilformel naturlich nicht u berall zu ersetzen.)
4.4.1 Ersetzungstheorem
Es gelte T ` i i0 fur i = 1, . . . n, und die Formel 0 entstehe aus , indem in
einige (oder alle) Teilformeln der Form i durch i0 ersetzt werden. Dann gilt
auch T ` 0 .
` x y[y/x]
4.4. E RSETZUNG UND U MBENENNUNG , G LEICHHEIT 80
Beweis:
Dabei liegt in (3) eine Anwendung des Substitutionsaxioms auf die Formel [y/x]
vor, wobei [y/x][x/y] wieder die Formel ergibt, da x nicht in vorkommt.
Dagegen wird in (2) nur benotigt, da x nicht frei in vorkommt.
Definition
Die Formel entsteht aus der Formel durch Umbenennung von gebundenen
Variablen gdw in Teilformeln der Form x(x) durch y(y) ersetzt werden
(wobei y naturlich eine neue Variable ist, die in x(x) nicht vorkommt).
Eigenschaften sind aber in dem dritten Schema enthalten, in welchem die Relation
R auch das Gleichheitszeichen sein darf, so da sich hier auch die Transitivitat
der Gleichheit versteckt. Es fehlt fur eine Aquivalenzrelation somit nur noch die
Symmetrie:
Lemma
`s=t t =s
Beweis:
` t1 = t10 . . . tn = tn0 s = s0 .
(ii) ti und ti0 seien Terme, die in substituierbar seien. Dann gilt:
Beweis: Wegen der Substitutionsregel brauchen wir (i) und (ii) nur fur Variable
xi , yi statt der Terme ti ,ti0 zu beweisen. (i) beweist man durch Induktion u ber den
Aufbau von s (mit Hilfe der Gleichheitsaxiome), (ii) a hnlich durch Induktion u ber
den Formelaufbau von .
Das ist das wichtigste Ergebnis u ber die Gleichheit (in einfachster Form be-
reits in den Gleichheitsaxiomen enthalten): Im mathematischen Gebrauch (und
nicht nur hier) ist die Gleichheitsbeziehung fast niemals die reine Identitat (etwa
im Sinne der syntaktischen Gleichheit), sondern stets nur eine Aquivalenzrelation
und zusatzlich eine Kongruenzrelation bezuglich der Grundbegriffe der jeweiligen
Theorie.
4.5. P R ANEXE N ORMALFORMEN 82
Wir setzen unsere Untersuchungen fort mit weiteren Gesetzen u ber Quantoren,
die u. a. dazu fuhren, pranexe Nomalformen zu erhalten, in welchen alle Quanto-
ren am Anfang der Formel (als Prafix) stehen. In der Aussagenlogik konnten wir
konjunktive und disjunktive Normalformen z. B. fur Entscheidungsfragen benut-
zen; eine entsprechende Anwendung fehlt in der Pradikatenlogik, da diese unent-
scheidbar ist. Man kann aber pranexe Normalformen zur Klassifikation der Kom-
pliziertheit benutzen (so wie man ein Polynom nach seinem Grad klassifizieren
kann) und z. B. zeigen,
Aus der Definition des -Quantors mittels des -Quantors ergibt sich:
(i) ` x x
(ii) ` x x
(i) ` Qx Qx( )
(ii) ` Qx Qx( )
Ahnliche Aussagen gelten, wenn auf beiden Seiten durch ersetzt wird.
4.5. P R ANEXE N ORMALFORMEN 83
(1) Tautologie
(2) x( ) Substitutionsaxiom
(3) x( ) tautologisch aus (1), (2) , ebenso
(4) Tautologie
(5) x x( ) Distributionsregel, angewandt auf (4)
(6) x x( ). tautologisch aus (3), (5). Fur die Umkehrung:
(7) x Substitutionsaxiom, daraus
(8) x als tautologische Folgerung
(9) x( ) x mit -Einfuhrung (x nicht frei in )
(i) ` (x ) x( )
(ii) ` ( x) x( )
(iii) ` (x ) x( )
(iv) ` ( x) x( )
Diese Ergebnisse kann man auf die fruheren zuruckfuhren, indem man die
Lemma
(i) ` x( ) x x
(ii) ` x x x( )
Lemma
` x x
` x( ) x x
` (x x) x( )
` (x x) x( )
` x( ) (x x)
Definition (pranex)
heit offen gdw keine Quantoren enthalt, heit pranex gdw offen ist
oder von der Form
Q1 x1 . . . Qn xn
Satz uber die pranexe Normalform
Zu jeder Formel (ausgedruckt mit , , , , , , ) existiert eine pranexe
Formel p mit
` p.
(1) Mit Hilfe von 4.5.1 und den entsprechenden aussagenlogischen Umformun-
gen bringe man in das -Zeichen so weit nach innen, bis es hochstens
vor atomaren Formeln steht; das Ergebnis ist eine a quivalente Formel n
(Negations-Normalform).
(2) Bringe den in n am weitesten links stehenden Quantor (u. U. nach ge-
eigneter Umbenennung) an den Anfang der Formel und erstrecke seinen
4.5. P R ANEXE N ORMALFORMEN 85
Wirkungsbereich auf die ganze Formel; benutze dazu die folgenden Aqui-
valenzen (aus den vorhergehenden Lemmata):
Die Umbenennung der Variablen v in eine geeignete neue Variable z kann man
naturlich immer vornehmen; die vorhergehenden Umformungen sind - soweit
moglich - jedoch vorzuziehen, um die neue Formel nicht unnotig kompliziert zu
machen.
Auf a hnliche Weise verfahre man im Falle eines -Quantors. Damit erhalten
wir eine zu n a quivalente Formel 0 der Form Qv . Bringt man dann in gleicher
Weise die in vorkommenden Quantoren an den Anfang, so erhalt man als
Endergebnis eine pranexe Formel p , die zu a quivalent ist.
Bemerkung:
Wie im Falle der konjunktiven bzw. disjunktiven Normalform ist eine pranexe
Normalform niemals eindeutig bestimmt (trotzdem spricht man haufig von der
pranexen Normalform, da zumindest alle untereinander a quivalent sind).
die Pradikatenlogik
4.5.4 Das Dualitatsprinzip fur
Wir setzen hier voraus, da die Formeln (auer den Quantoren) wieder nur die
B OOLEschen Operationen , , enthalten. Dann definiert man in Verallgemei-
nerung des aussagenlogischen Falles:
Beispiel:
Es sei = x(P(x) yR(y, x)), d. h. nach Elimination von :
x(P(x) yR(y, x)).
4.5. P R ANEXE N ORMALFORMEN 86
Dann ist
Ahnlich wie in der Aussagenlogik erhalt man (hier in syntaktischer Form):
Satz
a) ` D(N ()) Bildung der Negation
b) ` ( ) ` (D D) Dualitatssatz
Beschrankte Quantoren
Man kann diese Ergebnisse auch auf beschrankte Quantoren erweitern: Ist
= x(P(x) (x)), d. h.
x(P(x) (x)), so ist
x(P(x) (x)).
> 0 : ( > 0 )
Mit Hilfe des obigen Satzes lassen sich also Aussagen der folgenden Form
leicht negieren:
Beim Beweisen steht man oft vor der folgenden Aufgabe: In einer Theorie T soll
eine Implikation der Form gezeigt werden. Dazu benutzt man das folgende
Argument:
Vorausgesetzt sei . Dann . . . (hier folgt der Beweis mit den zusatzlichen
Annahmen aus T) . . . : . Also haben wir T ` gezeigt.
Das Deduktionstheorem rechtfertigt dieses Argument, falls eine wichtige Ein-
schrankung beachtet wird:
Deduktionstheorem
T[ ] sei die Theorie T mit als zusatzlichem Axiom und ein Satz. Dann gilt:
T ` T[ ] `
Der Beweis von ist trivial und macht nur vom modus ponens Gebrauch:
Es gelte T ` , dann offensichtlich also auch T[ ] ` . Da ferner
T[ ] ` , so mit modus ponens T[ ] ` .
Der Teil ist interessanter und auch weniger trivial: Beim Beweis von
aus T[ ] konnte das Zusatzaxiom an mehreren Stellen benutzt worden sein!
Wir werden zeigen, da man aus einem Beweis von aus T[ ] (mit leichten
Modifikationen) einen Beweis von aus T erhalt, indem man im ersten
Beweis jede Beweiszeile durch ersetzt, wobei das Zusatzaxiom in die
beweisbare Formel u bergeht und damit entbehrlich wird. Aufpassen mu
man allerdings im Falle der -Einfuhrungsregel, da die Variablenbedingung nicht
verletzt wird; die Voraussetzung, da ein Satz ist, wird hier benotigt (konnte hier
aber auch entsprechend abgeschwacht werden).
T[ ] ` = T `
durch Induktion u ber die Lange eines Beweises (d. h. Anzahl der Formeln im Be-
weis) von :
b) ist logisches Axiom. Dann gilt T ` , also auch (als tautologische Folge-
rung) T ` .
Dabei war die -Einfuhrung in (3) erlaubt, denn x kommt nach Voraussetzung in
2 nicht frei vor, aber auch nicht frei in (da nach Annahme ein Satz ist), also
kommt x in 2 nicht frei vor.
Korollar
T sei eine Theorie der Sprache L, 1 , . . . , n seien L -Satze und eine L-Formel.
Dann gilt:
T ` 1 . . . n T[1 , . . . , n ] `
Bemerkungen
1. Da das Deduktionstheorem nicht fur beliebige Formeln gilt, zeigt das Bei-
spiel = (x = y), wobei A |= xy |A| hat genau ein Element:
Es ist T[x = y] ` xy(x = y), aber T 6` x = y xy(x = y), wenn T ein
Modell mit mindestens zwei Elementen hat.
4.7. E RWEITERUNGEN VON T HEORIEN , W IDERSPRUCHSFREIHEIT 89
2. Aus dem Beweis ergibt sich, da auch eine Formel sein kann, vorausge-
setzt, da beim Beweis von aus T[ ] die -Einfuhrungsregel nicht fur
eine Variable benutzt wurde, die in frei vorkommt. Ansonsten lat sich
das Deduktionstheorem fur eine Formel auch in der Form
T ` T[] `
Damit lat sich die Beweisbarkeit in einer Theorie (prinzipiell) auf logische Be-
weisbarkeit zuruckfuhren; ist ein konkreter Beweis von aus T gegeben, so las-
sen sich aus diesem Beweis die Satze 1 , . . . , n in T mit 1 . . . n ` auch
konkret angeben, nicht notwendig aber, wenn man nur von der Beweisbarkeit aus-
geht!
Theorien erweitert man oft durch Hinzunahme neuer Axiome (z. B. des Kommu-
tativgesetzes zu den Gruppenaxiomen oder der Negation des Parallelenaxioms zur
Absoluten Geometrie), manchmal wird dabei auch noch die Sprache erweitert
(Gruppentheorie Korpertheorie Theorie der angeordneten Korper).
b) Eine Theorie T0 der Sprache L0 heit Erweiterung der Theorie T der Spra-
che L (T T0 ) gdw
c) Gilt in (ii) sogar die Aquivalenz, also (zusatzlich zu (i))
Haufig erweitert man eine Theorie T durch Definitionen: Fuhrt man fur eine
Formel (~x) ein neues Relationszeichen R ein, so bedeutet dies, da man T zu
einer Theorie T0 erweitert, die als neues Axiom erhalt:
R(~x) (~x).
Ebenso bei der Einfuhrung neuer Funktionszeichen: Hier mu man zunachst nach-
weisen, da
T ` ~x !y (~x, y),
worauf man durch
f (~x) = y (~x, y)
die Theorie T um das neue Funktionszeichen f mit obigem Axiom erweitert. In
beiden Fallen ist die neue Theorie eine konservative Erweiterung der alten Theorie
T.
Insbesondere unterscheiden wir nicht zwischen einer Theorie T und ihrer Folge-
rungsmenge C(T) := { | T ` }. Mit Hilfe des Vollstandigkeitssatzes werden
wir spater zeigen, da Theorien genau dann a quivalent sind, wenn sie dieselben
Modelle haben.
Beachte, da a quivalente Theorien in derselben Sprache formuliert sind und
da eine konservative Erweiterung T0 von T zwar nur dieselben Aussagen der
(kleineren) Sprache von T abzuleiten gestattet, daruber hinaus jedoch moglicher-
weise weitere Aussagen u ber die erweiterte Sprache zulat.
4.7.2 Satz uber rein sprachliche Erweiterungen von Theorien
T und T0 seien Theorien der Sprache L bzw. L0 , wobei L L0 . Haben T und T0
dieselben Axiome, so ist T0 konservative Erweiterung von T:
Vorbemerkung: Der Teil der Behauptung von links nach rechts ist trivial (da jedes
Axiom von T auch Axiom von T0 ist, ist jeder Beweis von aus T auch ein
Beweis von aus T0 ), aber die Umkehrung ist keineswegs trivial, da ein Beweis
von aus T0 logische Axiome (bzw. Regeln) fur Formeln der erweiterten Sprache
benutzen kann (auch wenn die zusatzlichen Symbole der Sprache L0 in selbst
nicht mehr vorkommen). Ein semantischer Beweis (mit |= statt ` ) ist jedoch
einfach: ist A0 |= T0 , so ist die Einschrankung A = A0 L ein Modell von T.
Beweis des Satzes: In einer Formel der (groeren) Sprache L0 streichen wir
die nicht zu L gehorigen Symbole und ersetzen sie in harmloser Weise mittels
einer Variablen y : Es sei y die Formel der Sprache L , die aus entsteht,
indem in
2.1 = .
Dann ist y = y y fur jedes y und T ` y fur alle Variablen y.
2.2 = [t/x] x .
Dann ist y = y [t0 /x] xy fur alle y, die in nicht vorkommen
und fur einen Term t0 von L. Somit T ` y fur alle Variablen y bis
auf endlich-viele.
2.3 = (x = x). Dann ist y = (x = x).
2.4 ist eines der Gleichheitsaxiome.
Dann ist y = oder von der Form y = y, jedenfalls T ` y fur
alle Variablen y.
3. (Induktionsschritt):
ist Konklusion einer Regel mit den Pramissen 1 . . . n (n = 1, 2), wobei
nach Induktionsvoraussetzung T ` (i )y fur i n und alle Variablen y bis
auf endlich-viele gilt.
Korollar
T sei eine Theorie der Sprache L, c eine neue Konstante, die in L nicht vorkommt.
Dann gilt:
4.7. E RWEITERUNGEN VON T HEORIEN , W IDERSPRUCHSFREIHEIT 93
T ` [c/x] T ` x.
Hier haben wir erneut ein bekanntes Beweisprinzip (vgl. Satz u ber die Gene-
ralisierung) erhalten:
4.7.3 Widerspruchsfrei/widerspruchsvoll
Diese Definition (statt konsistent sagt man auch widerspruchsfrei, statt inkon-
sistent auch widerspruchsvoll) hat den Vorzug, da sie auch fur Sprachen ohne
das -Zeichen sinnvoll ist; hier ergibt sich fur unsere Sprachen die Aquivalenz
mit der erwarteten Charakterisierung:
Lemma
T konsistent es gibt keinen Satz mit T ` und T ` .
Beweis von : Falls T ` und T ` fur einen Satz , so nach dem Tauto-
logiesatz T ` und somit T ` fur alle Satze .
: Wahle fur den Satz x(x = x); dann gilt T ` , also nach Vor. T 6` ,
und damit ist mindestens ein Satz aus T nicht beweisbar.
Bemerkungen
1. Ist T0 Erweiterung von T und ist T0 konsistent, so auch T.
Nimmt man zu einer Theorie T eine Menge Formeln (als zusatzliche Axio-
me) hinzu, so ist die entstehende Erweiterung T[] widerspruchsvoll, wenn end-
lich-viele der neuen Axiome einen Widerspruch zur Theorie T ergeben. Da man
hier endlich-viele Axiome durch ihre Konjunktion ersetzen kann, genugt der fol-
gende Satz:
4.8 Termmodelle
T sei eine Theorie der Sprache L. Um ein Modell A von T zu finden, mu man we-
nigstens den Individuenkonstanten der Sprache Werte zuordnen; unter gunstigen
Voraussetzungen erhalt man dann durch geeignete Festlegungen der Interpretati-
on der Relations- und Funktionssymbole bereits ein Modell. So findet man z. B.
im Falle der Gruppentheorie (und a hnlich im Falle der Theorie der Korper) das
einfachste Modell:
Zusatzlich ist zu beachten ist, da aus den Axiomen der Theorie T folgen kann,
da verschiedene Terme gleichgesetzt werden sollen (z. B. 0 + 1 = 1 + (0 1) in
der Korpertheorie). Daher werden wir Terme identifizieren, wenn die Theorie es
verlangt:
s t : T ` s = t fur s,t K.
Diese Relation ist (wegen der Gleichheitsaxiome!) eine Aquivalenzrelation
auf K,
s := {t K | s t} zugehorige Aquivalenzklasse.
A := {s | s K} Menge der Aquivalenzklassen
wird der Individuenbereich der gesuchten Struktur sein, in dem t A = t fur alle
t K gelten wird. Dazu legen wir die Interpretation der weiteren nicht-logischen
Zeichen wie folgt fest:
cA = c
F A (t1 , . . . ,tm ) = F(t1 , . . . ,tm )
RA (t1 , . . . ,tn ) T ` R(t1 , . . . ,tn )
4.8. T ERMMODELLE 96
Da diese Definitionen wohldefiniert sind (d. h. nicht von der Wahl der Re-
prasentanten der jeweiligen Aquivalenzklassen abhangen), folgt wiederum aus
den Gleichheitsaxiomen (Prinzip der Nichtunterscheidbarkeit, s. 4.4.2). Damit ist
(fur K 6= 0/ ) nun eine L-Struktur
A = AT = (A, RA , . . . F A , . . . cA , . . .) definiert,
die kanonische Struktur der Theorie T.
Eine Struktur bzw. ein Modell, dessen Elemente Interpretationen von konstanten
Termen sind (wie die obige kanonische Struktur) nennt man auch eine Term-
struktur bzw. ein Termmodell.
4.8.2 Satz uber Termmodelle
Fur alle atomaren Satze gilt:
() AT |= T ` .
Konnten wir die Aussage (*) fur alle Satze zeigen, so ware die Struktur AT ein
Modell von T. Im allgemeinen gilt dies aber nicht, T kann zwar widerspruchsfrei
sein, aber moglicherweise zu wenig Information enthalten: Um den Induktions-
beweis weiterfuhren zu konnen, mute gelten:
4.9. V ERVOLLST ANDIGUNG VON T HEORIEN 97
(a) analog zu
AT |= AT 6|= :
T ` T 6` ,
(b) analog zu
Wie im Falle der Aussagenlogik nennen wir eine Theorie T der Sprache L (syn-
taktisch) vollstandig gdw
Bemerkungen
Der Beweis des Satzes von L INDENBAUM zeigt, da die Existenz einer Ver-
vollstandigung von der Wahl der Aufzahlung der Satze der Sprache abhangt;
4.10. H ENKIN -T HEORIEN 99
i. a. hat eine (konsistente aber selbst nicht vollstandige) Theorie sehr viele
Vervollstandigungen!
4.10 Henkin-Theorien
A sei L-Struktur mit Individuenbereich A. Bereits fruher haben wir die Sprache
LA eingefuhrt, die zusatzliche Namen a fur jedes Element a A enthalt. In der
Struktur AA wird a durch a selbst interpretiert, und mit
Beispiele
(i) Th(A) und DL (A) sind stets konsistente und vollstandige Theorien, letztere
ist offenbar eine H ENKIN-Theorie. Als Folgerung aus dem Vollstandigkeits-
satz wird sich ergeben, da umgekehrt jede konsistente und vollstandige
Theorie von der Form Th(A) ist fur ein A.
4.10. H ENKIN -T HEORIEN 100
Henkin-Erweiterungen
Es sei T eine Theorie der Sprache L. Wahle fur jeden L-Satz der Form = x
eine neue (d. h. in der Sprache L bisher nicht vorkommende) Konstante c und
bilde die erweiterte Sprache
T braucht aber noch keine H ENKIN-Theorie zu sein, da man mit Hilfe der
neuen Konstanten moglicherweise neue Existenzsatze finden kann, fur die kei-
ne Beispiele in der Sprache L vorhanden sind. Man mu daher diesen Proze
unendlich oft iterieren: Setze
Schlielich sei
LH = nN Ln ,
S S
TH = nN Tn die Henkin-Erweiterung der Theorie T.
4.10. H ENKIN -T HEORIEN 101
Satz uber Henkin-Erweiterungen
(i) TH ist eine H ENKIN-Theorie,
Beweis: (i) und (iii) sind klar (Abzahlbarkeit einer Sprache bedeutet, da die Men-
ge der Symbole der Sprache abzahlbar ist). Zum Beweis von (ii) sei T0 die Theorie
der Sprache LH mit denselben nicht-logischen Axiomen wie T. Dann ist T0 eine
rein sprachliche Erweiterung von T und somit konservative Erweiterung von T.
Wir zeigen nun die Behauptung, indem wir nachweisen:
Sei also L-Formel mit TH ` . Dann gibt es endlich viele Satze der Form
i = xi (x) i (ci ) mit ci = cxi (i = 1, . . . , n), so da
T0 ` 1 . . . n .
Dieser Satz wurde zuerst von Kurt G ODEL fur abzahlbare Sprachen bewiesen:
und fur beliebige Sprachen 1936 von I. M ALCEV. Unsere Beweismethode geht
zuruck auf
Die H ENKINsche Methode hat den Vorzug, da man sie vielfaltig abwandeln
kann, um - in Abhangigkeit von speziellen Eigenschaften einer Theorie T - Mo-
delle von T mit besonderen Eigenschaften zu erhalten. Wie schon erwahnt, lat
sich der Vollstandigkeitssatz in zwei a quivalenten Fassungen angeben:
Beweis: Wie im Falle der Aussagenlogik (siehe auch 4.7.4) folgt (1) aus (2) (die
Umkehrung ist noch einfacher zu zeigen), so da wir nur (2) zu beweisen brau-
chen.
Sei also T eine konsistente Theorie der Sprache L. Wir erweitern T zunachst
zu einer H ENKIN-Theorie TH in der Sprache L0 := LH und bilden dann eine Ver-
vollstandigung dieser Theorie:
T TH (TH )V = T0
4.11. D ER G ODELSCHE
VOLLST ANDIGKEITSSATZ 103
Da beim zweiten Schritt die Sprache nicht mehr erweitert wird, ist T0 nicht nur
vollstandig und konsistent, sondern auch eine H ENKIN-Theorie geblieben. Nun
wahlen wir das Termmodell A0 von T0 und zeigen, da fur alle Satze der Sprache
L0 gilt:
() A0 |= T0 ` .
Insbesondere ist dann A0 ein Modell von T und damit A := A0 L, die Ein-
schrankung auf die Sprache L, ein Modell von T. Die Behauptung (*) zeigen
wir durch Induktion u ber den Aufbau von :
1. Fall: ist atomar. Dieser Anfangsfall ist gerade Inhalt des Satzes 4.8.2 u ber
Termmodelle.
2. Fall: = . Dann gilt nach Definition von |=:
wegen der Vollstandigkeit und Konsistenz von T0 . Somit folgt die Behauptung aus
der Induktionsvoraussetzung.
3. Fall: = . Dann gilt wieder nach der Definition von |=:
wegen der Vollstandigkeit von T0 . Dann gilt aber als tautologische Folgerung:
T0 ` ( ), und das heit T0 6` wegen der Konsistenz von T0 .
4. Fall: = x. Dann gilt wieder nach der Definition von |=:
Da A0 ein Termmodell ist, so ist jedes a |A0 | von der Form a = t = t A fur einen
0
Im Falle einer abzahlbaren Sprache lat sich der Satz von L INDENBAUM und
damit auch der Vollstandigkeitssatz ohne Voraussetzung des Auswahlaxioms be-
weisen. Auf diesen Fall bezieht sich als Korollar auch der
Korollar
(i) Sind T und T0 Theorien in derselben Sprache L, so gilt:
T T0 Mod(T) Mod(T0 ),
T = T0 Mod(T) = Mod(T0 ).
(ii) Eine Theorie T ist konsistent und vollstandig gdw es eine Struktur A gibt
mit T = Th(A).
Dabei meinen wir hier mit T = T0 : T a quivalent zu T0 , d. h. C(T) = C(T0 ).
Als weitere wichtige Folgerung aus dem Vollstandigkeitssatz (und dem End-
lichkeitssatz fur die Beweisbarkeit) erhalten wir erneut den
4.11. D ER G ODELSCHE
VOLLST ANDIGKEITSSATZ 105
4.11.3 Kompaktheitssatz
sei eine Menge von Satzen, ein Satz. Dann gilt:
(2) hat jedes endliche 0 ein Modell, so hat auch ein Modell.
Bemerkung
Folgende Ergebnisse sind a quivalent:
Alle diese Aussagen folgen aus dem Auswahlaxiom, sind aber schwacher als
dieses.
106
Teil II
Mengenlehre
107
Kapitel 5
5.1 Ordinalzahlen
A A0 A00 A000 . . .
den kann. Auf diese Weise fortgesetzt, fuhrt der Zahlproze u ber die naturlichen
Zahlen hinaus ins Transfinite:
0, 1, 2, 3, . . . , + 1, + 2, + 3, . . .
+ , + + 1, + + 2, . . . + + . . .
Einen derartigen Zahlproze erhalten wir auch, wenn wir die naturlichen Zah-
len umordnen und neu aufzahlen, etwa erst die Potenzen von 2, dann Potenzen
von 3, dann die Potenzen von 5 . . . :
5.1.1 Ordnungen
1. Eine (irreflexive) teilweise Ordnung auf einer Menge a ist eine 2-stellige
Relation < auf a, fur die gilt:
2. Eine (irreflexive) lineare Ordnung auf a ist eine teilweise Ordnung auf a
mit
(c) x, y a (x < y x = y y < x) vergleichbar.
Eine teilweise Ordnung nennt man manchmal auch eine partielle (oder Halb-)
Ordnung, eine lineare Ordnung manchmal auch einfach Ordnung. Die zugehori-
gen reflexiven Ordnungen erhalt man durch die Festlegung
a b a < b a = b,
5.1. O RDINALZAHLEN 109
und umgekehrt kann man die obigen Begriffe auch erst axiomatisch fur die refle-
xiven Varianten charakterisieren und die zugehorigen irreflexiven durch
a < b a b a 6= b
definieren.
Die gewohnlichen Ordnungen auf den naturlichen, den ganzen, den rationalen
und den reellen Zahlen sind offenbar lineare Ordnungen; die Relation
auf den reellen Funktionen ist dagegen nur eine teilweise Ordnung.
Die naturlichen Zahlen lassen sich der Groe nach aufzahlen, aber fur die an-
deren Zahlbereiche ist dies nicht moglich; selbst wenn man noch als kleinste
Zahl hinzunimmt, gibt es keine nachstgroere (und bei dichten Ordnungen wie
den rationalen Zahlen gibt es zu u berhaupt keiner Zahl eine nachstgroere). Um
diese Bereiche in der Form {a0 , a1 , . . . an , an+1 . . .} aufzuzahlen, mussen wir sie
neu ordnen, so da man mit
(ii) wei, mit welchem Element man fortfahren kann, und schlielich
(iii) auch den Aufzahlungsproze fortsetzen kann, wenn man bereits eine un-
endliche Teilfolge von Elementen aufgezahlt hat (aber noch nicht alles auf-
gezahlt ist).
3. Eine Wohlordnung auf einer Menge a ist eine lineare Ordnung auf a, wel-
che zusatzlich die Minimalitatsbedingung
(Min) z(0/ 6= z a x z y z y 6< x)
erfullt, welche wegen der Vergleichbarkeit (c) a quivalent ist zur Existenz
eines kleinsten Elementes:
(Kl) z(0/ 6= z a x z y z x y),
wobei wie u blich x y : x < y x = y.
5.1. O RDINALZAHLEN 110
Beispiele
Jede lineare Wohlordnung auf einer endlichen Menge ist eine Wohlordnung, eben-
so die gewohnliche Ordnung auf den naturlichen Zahlen. Dagegen sind die ganzen
Zahlen erst wohlgeordnet, wenn wir sie (etwa) in folgende Ordnung bringen:
0, 1, 2, 3, 4, . . . , 1, 2, 3, 4, . . . oder kurzer:
0, 1, 1, 2, 2, 3, 3, . . .
Im ersten Fall werden wir von einer Ordnung vom Typ + , sprechen, im
zweiten Fall vom Typ (und viele andere Moglichkeiten noch kennenlernen).
Dabei ist das fruhere Symbol durch ersetzt worden, zugleich das einfach-
ste (unendliche) Beispiel der jetzt einzufuhrenden Ordinalzahlen. Diese wurden
von C ANTOR als Reprasentanten (isomorpher) Wohlordnungen eingefuhrt; heute
definiert man sie nach VON N EUMANN als Mengen, die durch die -Beziehung
wohlgeordnet sind und auerdem transitiv sind:
Definition
trans(a) : x a y x y a transitiv
x a x a
Beispiele
{{0}}
/ ist nicht transitiv, aber 0,/ {0},
/ {0, / {0}},/ . . . sind transitiv und werden als
Definition der naturlichen Zahlen 0, 1, 2, . . . gewahlt:
0 := 0,
/
0
a := a + 1 := a {a} Nachfolger von a.
1 := {0},
/ 2 := {0,
/ {0}}
/ = {0, 1}, 3 := {0, / {0},
/ {0,
/ {0}}}
/ = {0, 1, 2}. . .
0
allgemein: n = n {n} = {0, 1, 2, . . . , n}
5.1. O RDINALZAHLEN 111
fur jede naturliche Zahl n (was wir aber erst noch definieren mussen). Diese Defi-
nition hat den Vorteil hat, da
jede naturliche Zahl n genau n-viele Elemente enthalt (namlich die kleine-
ren, beginnend mit 0 und endend mit n 1).
b 6= 0/ y b y b = 0,
/ d. h.
b 6= 0/ y b z b z 6 y,
was besagt, da jede nicht-leere Menge b ein (bezuglich der -Relation) minima-
les Element besitzt (vgl. die Bedingung (Min) in der Definition einer Wohlord-
nung). Damit werden einige ungewohnliche Mengen ausgeschlossen, insbeson-
dere Mengen a, die sich selbst als Element enthalten oder mit anderen Mengen
einen endlichen -Zyklus bilden. Es gilt somit:
Damit lat sich die Definition der Ordinalzahlen vereinfachen (siehe (i) in fol-
gendem Satz). Spater weren wir ohnehin das Fundierungsaxiom (in der Form:
alle Mengen sind fundiert) voraussetzen; alle folgenden Aussagen u ber Ordinal-
zahlen lassen sich jedoch ohne das Fundierungsaxiom beweisen, wenn man die
ursprungliche Definition zugrunde legt.
5.1. O RDINALZAHLEN 112
(ii) Ordinalzahlen sind transitive Mengen, die durch die -Relation wohlgeord-
net sind:
Ord(a) : trans(a) a ist Wohlordnung auf a.
Satz
trans(b) b Ord(b) (b b = ), insbesondere
= .
Beweis: Sei trans(b) b . Dann ist auch b eine Wohlordnung, also Ord(b)
nach Satz 5.1.3 (ii).
Falls b 6= , so b , d. h. b 6= 0,
/ und wir konnen wegen der Fundiertheit
ein minimales b wahlen, von dem wir zeigen werden, da b = und damit
b wie erwunscht:
Sei also b -minimal, so da insbesondere x x b, d. h. b.
Es gilt dann aber auch b :
Sei x b. Dann x (nach Voraussetzung) und x x = x wegen
con(). Aber die letzten beiden Falle konnen nicht eintreten: x = b und
x b (wegen trans(b)), es ist aber nach Wahl von : b.
Somit haben wir mengentheoretisch nicht nur eine einfache <-Beziehung auf
den Ordinalzahlen (namlich die -Beziehung), sondern auch eine einfache -
Beziehung (namlich die -Beziehung). Insbesondere gilt somit:
Es ist nun leicht zu sehen, da 0 die kleinste Ordinalzahl ist und da mit einer
Ordinalzahl auch 0 wieder eine Ordinalzahl ist (und zwar die nachst groe-
re), so da alle naturlichen Zahlen insbesondere Ordinalzahlen sind. Es gibt aber
tatsachlich unmaig viele Ordinalzahlen:
Satz
(i) Die -Beziehung ist eine Wohlordnung auf allen Ordinalzahlen.
Sei := das Minimum der beiden Ordinalzahlen. Dann ist trans( ) und
, , also nach nach dem vorangegegangen Satz: = und ebenso
= , aber im Fall erhielten wir den Widerspruch !
Somit ist die -Beziehung auf den Ordinalzahlen eine lineare Ordnung. Sie
ist ferner eine Wohlordnung, da fur Mengen a von Ordinalzahlen die Minima-
litatsbedingung 0/ 6= a a a = 0/ nach unserer Vereinbarung (also dem
Fundierungsaxiom) erfullt ist.
(ii) Angenommen, es gabe eine Menge a aller Ordinalzahlen. Nach Satz 5.1.3
(iii) ist a transitiv und nach der gerade bewiesenen Aussage (i) ist die -Beziehung
eine Wohlordnung auf a, also ist a selbst eine Ordinalzahl, somit a a nach De-
finition von a als Menge aller Ordinalzahlen, aber anderseits gilt a 6 a fur alle
Ordinalzahlen a, Widerspruch! (Man konnte auch so argumentieren: die Menge a
aller Ordinalzahlen ware als Ordinalzahl die grote Ordinalzahl, dann kann aber
nicht a a sein!)
Die Antinomie von B URALI -F ORTI (1897) war C ANTOR u brigens bereits
schon 1895 bekannt. Welche Bedeutung hat sie? Sie besagt, da es keine grote
Ordinalzahl gibt, und wir konnen sie als Aussage verstehen, da die Gesamtheit
aller Ordinalzahlen so gro ist, da sie sich nicht zu einer Menge zusammen-
fassen lat. Das ware an sich harmlos, wenn man nun nicht befurchten mute,
da vielleicht an einer anderen Stelle der Theorie ein (womoglich bisher noch gar
nicht entdeckter) Widerspruch versteckt ist, der sich nicht so einfach hinweginter-
pretieren lat. Wir wollen daher erst einmal innehalten, um uns den Grundlagen
der Mengenlehre zuzuwenden.
5.2.1 Komprehensionsaxiom
yx(x y (x))
wobei (x) eine beliebige Formel ist, in welcher y nicht vorkommt.
Ahnliche Widerspruche hatte man zwar schon fruher erhalten (Antinomie der
Menge aller Mengen von C ANTOR, Antinomie der Menge aller Ordinalzah-
len von C ANTOR und B URALI -F ORTI). Diese fruhen Antinomien waren jedoch
weniger beunruhigend, eher konnten sie positiv bewertet werden als Ausdruck der
Reichhaltigkeit des Mengen- und Ordinalzahlbegriffes sowie als Ausweis einer
Grenze, u ber die man nicht hinausgehen konnte. Dagegen war die Antinomie von
RUSSELL (die um die gleiche Zeit auch bereits Z ERMELO bekannt war) beson-
ders elementar und lie sich auch umschreiben in einen Widerspruch innerhalb
5.2. M ENGEN UND K LASSEN 116
Da die Bildung von rn 6 rn nicht mehr erlaubt ist, ist die RUSSELLsche An-
tinomie nicht mehr formulierbar. Dieses pradikative Komprehensionsaxi-
om schrankt die Mengenbildung jedoch stark ein; die Idee eines stufenwei-
sen Aufbaus der Mengenlehre lat sich jedoch auch in der ZF-Mengenlehre
wieder finden.
b) von N EUMANN , G ODEL , B ERNAYS: Unterscheidung zwischen Mengen
und Klassen
Man lat eine (mehr oder weniger beschrankte) Komprehension von Men-
gen zu, das Ergebnis ist dann aber nicht notwendig wieder eine Menge,
sondern zunachst eine Klasse {x | (x)}. So kann man bilden:
einerseits moglichst viele Klassen als Mengen (und damit wieder als
Elemente von Mengen und Klassen) erlauben mochte,
andererseits aber nicht so viele, da es zu einem Widerspruch kommt.
c) Z ERMELOsches Aussonderungsaxiom
Das Komprehensionsaxiom wird eingeschrankt auf die Bildung von Teil-
mengen einer bereits gegebenen Menge a:
r r r a r 6 r, also
Die damit gebildete Sprache LZF werden wir erweitern um die Hinzunahme von
definierbaren Klassen (auch Klassenterme genannt)
{x | (x)},
(F4) Ist (a) eine Formel, in welcher die Variable x nicht vorkommt, so auch
x(x).
(F5) Ist (a) eine Formel, in welcher die Variable x nicht vorkommt, so ist auch
a {x | (x)} eine Formel.
Von Formeln der ZF-Sprache im engeren Sinne sprechen wir, wenn bei der
Bildung dieser Formeln die Bedingung (F5) nicht benutzt wurde, ansonsten von
Formeln der erweiterten ZF-Sprache.
Die logischen Symbole , , sowie der -Quantor werden wie fruher defi-
niert. Auerdem benutzen wir beschrankte Quantoren x a, x a als Abkur-
zungen:
Fur viele Untersuchungen spielen Fragen der Komplexitat von Eigenschaften ei-
ne wichtige Rolle; dabei gelten beschrankte Quantoren als einfacher als un-
beschrankte Quantoren. Wir werden daher im folgenden - soweit moglich - be-
schrankte Quantoren verwenden.
5.2. M ENGEN UND K LASSEN 119
Klassen
Variable fur
Schlielich noch ein weiterer Schritt: Um nicht immer u ber die Klassenterme
{x | (x, . . .)} durch Angabe von Formeln sprechen zu mussen, werden neue Va-
riable A, B, . . . fur Klassenterme benutzt. Damit nahern wir uns einer Sprache 2.
Stufe, in welcher neben den Variablen fur Mengen (Kleinbuchstaben) auch Va-
riable fur Klassen (Grobuchstaben) auftreten (vgl. die entsprechende Situation
in der P EANO-Arithmetik 3.5.4). Streng genommen werden hier keine formalen
Klassenvariable eingefuhrt, sondern Metavariable fur Klassenterme. Das bedeu-
tet, da eine Aussage der Form
als Behauptung zu lesen ist, fur einen vorgegebenen Klassenterm B einen Klas-
senterm A konkret (d. h. durch eine Formel) anzugeben, der die gewunschte Ei-
genschaft besitzt; ebenso bedeutet eine universelle Aussage der Form
fur alle A . . . A . . .
5.2.4 Uberblick
uber verschiedene Axiomensysteme
Die Axiomensysteme der Mengenlehre unterscheiden sich weniger in dem je-
weils zugelassenen Bereich von Mengen als in dem Status, den sie den Klassen
einraumen:
ohne Klassen:
das Axiomensystem ZF von Z ERMELO -F RAENKEL in der (engeren) ZF-
Sprache
Neben der Entscheidung, welchen existentiellen Wert man den Klassen ein-
raumen soll, bleibt als Hauptproblem die Frage: welche Mengen existieren - bzw.:
Es gibt Mengen und Klassen; ihre Gleichheit wird durch das Extensiona-
litatsprinzip bestimmt: Mengen bzw. Klassen sind identisch, wenn sie vom
selben Umfang sind, d. h. dieselben Elemente enthalten.
Elemente von Klassen und Mengen sind wieder Mengen; echte Klassen
(wie die RUSSELLsche Klasse) sind dagegen niemals Elemente - weder von
Mengen noch von anderen Klassen.
umgekehrt ist aber nicht jede Klasse eine Menge, sondern nur diejenigen
Klassen, die nicht zu gro sind, sind Mengen (limitation of size).
Wie bereits erwahnt, sind Mengen bestimmt allein durch ihre Elemente (wobei
die Elemente ihrerseits naturlich wieder Mengen sind). Diese Vorstellung wird
ausgedruckt durch das
Extensionalitatsaxiom (Ext) x(x a x b) a = b.
Aufgrund der logischen Axiome u ber die Gleichheit gilt auch die Umkehrung,
also:
a = b x(x a x b).
Somit konnte man im Prinzip auf die Gleichheit als logisches Grundsymbol ver-
zichten und sie mittels der Elementbeziehung definieren. - Denkbar ware auch
eine Definition durch
intensionale (Leibniz-)Gleichheit: x(a x b x) a = b.
Diese Aquivalenz wird spater einfach beweisbar sein (mit Existenz der Einer-
Menge).
Mengen ohne Elemente bezeichnet man auch als Urelemente; aus dem Exten-
sionalitatsaxiom folgt, da es hochstens eine solche Menge gibt, die leere Menge.
Es besteht durchaus die Moglichkeit, weitere derartige Mengen als Urelemente
zuzulassen, fur den mengentheoretischen Aufbau der Mathematik werden sie je-
doch nicht benotigt.
Die Gleichheit von Klassen bzw. Klassen und Mengen wird als Umfangs-
gleichheit definiert:
A = B : x(x A x B),
A = b : x(x A x b),
a = B : x(x a x B),
und in a hnlicher Weise (da Elemente stets Mengen sein sollen):
A B : y(y = A y B),
A b : y(y = A y b).
Somit sind nun die Grundpradikate = und fur sowohl Mengen wie auch Klassen
definiert.
Wenn eine Klasse dieselben Elemente wie eine Menge enthalt, so sind nach
unserer Definition beide gleich, und genau in diesem Fall werden wir eine Klasse
eine Menge nennen:
UND AUSSONDERUNG
5.3. E XTENSIONALIT AT 123
(Klassen, die keine Mengen sind, nennt man auch echte Klassen.)
Von der Element-Beziehung zu unterscheiden ist die Teilmengen-Beziehung
(Inklusion) (auch wenn man in beiden Fallen vom Enthalten spricht):
A B : x(x A x B)
A B : A B A 6= B
Somit kann man die Gleichheit zweier Mengen nachweisen, indem man zeigt,
da sie wechselweise ineinander enthalten sind:
A = B A B B A.
AB : = {x | x A x B} Durchschnitt
AB : = {x | x A x B} Vereinigung
AB : = {x | x A x 6 B} relatives Komplement
B : = {x | x 6 B} Komplement
Damit erhalten wir nun die Gesetze einer B OOLEschen Algebra, wie wir sie
bereits von der Aussagenlogik her kennen (s. 1.2.6). Sie gelten statt fur Klassen
naturlich auch fur Mengen, allerdings fuhren nicht alle Operationen von Mengen
zu Mengen (aber von Klassen zu Klassen), denn in den u blichen mengentheoreti-
schen Axiomensystemen ist V (und das Komplement einer Menge) keine Menge.
Bereits erwahnt haben wir das
Satz
Das Aussonderungsschema ist a quivalent zu den folgenden Aussagen:
(ii) y(y = a A)
(iii) a A V , d. h. Mg(a A)
/ a b, a b,
0,
wobei b auch eine Klasse B sein darf. Dagegen kann die Allklasse V keine Menge
sein.
Dieses sind offensichtlich sehr kleine Klassen, wir konnen also das
{a, b}, {a}, {a, {a, b}}, {{a, c}, {e, {a, e}}}, {{a, {a, b}},
{{a, c}, {e, {a, e}}}, . . . usw.
5.4. R ELATIONEN UND F UNKTIONEN 125
Im Falle einer 2-stelligen Relation schreiben wir dann auch wie u blich:
aRb : (a, b) R.
Funktionen sind 2-stellige Relationen von Paaren (x, y), in denen y durch x
eindeutig bestimmt ist:
Fkt(F) : F V V x, y, z ((x, y) F (x, z) F y = z).
Somit werden Funktionen wir mit ihren Graphen identifiziert:
5.4. R ELATIONEN UND F UNKTIONEN 126
F : A B : F A B x A !y B (x, y) F
Hierfur sagen wir auch: F ist Funktion von A nach B. Fur x A bezeichnet
F : A B,
x 7 F(x).
Unter den Funktionsbegriff fallt auch der Begriff der Familie: Fur eine Index-
menge I ist
(xi )iI die Funktion f mit Definitionsbereich I und f (i) = xi fur alle i I.
Im Falle I = N spricht man auch von einer Folge, fur I = {0, . . . , n 1} entspricht
die endliche Folge einem n-Tupel.
A Definitionsbereich von F,
F : A B : F : A B B = {F(x) | x A}.
5.5. V EREINIGUNG UND P RODUKT 127
Fur eine injektive F Funktion gibt es also eine inverse Funktion F 1 , und zwar ist
F : A B : F : A B F : A B.
Fur eine bijektive Funktion F : A B ist dann die inverse Funktion (oder
Umkehrfunktion) eine (ebenfalls bijektive) Abbildung
F 1 : B A mit
F 1 (F(a)) = a, F(F 1 (b)) = b fur alle a A, b B.
5.5.1 Vereinigung
Eine einfache mengentheoretische Operation fuhrt von zwei Mengen zu ihrer Ver-
einigung; wir werden gleich eine allgemeinere Mengenbildung einfuhren, namlich
die Vereinigung der Elemente einer Klasse (und dual der entsprechende Durch-
schnitt):
A := xA x := {z | x A z x}
S S
Vereinigung (Summe)
:= {z | x A z x}
T T
A := xA x Durchschnitt
Die Vereinigung der Elemente einer Menge (welches stets Mengen sind) sollte
wieder eine Menge ergeben:
S
Summenaxiom (Zermelo) (Sum) Mg( a),
ausgeschrieben also: yz(z y x a z x).
5.5. V EREINIGUNG UND P RODUKT 128
Lemma
{a} = a, {a, b} = a b
S S
(i)
{a} = a, {a, b} = a b
T T
(ii)
S S
(v) 0/ = 0,
/ V = V,
T T
0/ = V, V = 0/ .
Bemerkungen
1. Aus dem Summen- und Paarmengenaxiom folgt also, da fur je zwei Men-
gen a und b die Vereinigung a b wieder eine Menge ist, damit ist dann
aber das absolute Komplement einer Menge a stets eine echte Klasse!
Statt der obigen Summen und Durchschnitte kommen in der Mathematik haufi-
ger Vereinigungen und Durchschnitte von Familien von Mengen vor. Zur Anglei-
chung an den dort u blichen Gebrauch bezeichnen wir den Indexbereich mit I (der
zunachst eine Klasse sein kann) und schreiben auch Fi fur F(i):
iI Fi := {Fi | i I} = {z | i I z Fi }
S S
Vereinigung
:= {Fi | i I} = {z | i I z Fi }
T T
iI Fi Durchschnitt
Der Indexbereich I ist hier eine Menge a, jedem i a ist eine Menge F(i) zuge-
ordnet, die Zuordnung kann allerdings durch eine Klasse F gegeben sein! Wenn
man dies beachtet, kann man die B ERNAYSsche Summe auch in der vertrauten
S
Form iI ai und das B ERNAYSsche Summenaxiom in der Form
S
Mg( iI ai ) fur jede Indexmenge I
von A. F RAENKEL. Es besagt, da das Bild einer Menge a unter einer Funktion F
(welche eine Klasse sein kann) wieder eine Menge ist, bzw. da man wieder eine
Menge erhalt, wenn man die Elemente x einer Menge a durch ihre Funktionswerte
F(x) ersetzt. Wir konnen es auch in der folgenden Form schreiben:
Satz
Auf der Basis der bisherigen Axiome (Ext, Null, Paar) gilt:
Beweis: Aus (BSum) folgt (Sum), indem man fur F die Identitat (also F(x) =
x) setzt, und das (Ers) ergibt sich wegen {F(x) | x a} = {{F(x)} | x a}.
S
Umgekehrt gilt:
[ [ [
F(x) = {F(x) | x a} = F[a].
xa
Satz
(i) Fkt(F) D(F) V W (F), F V ,
d. h. ist der Definitionsbereich einer Funktion eine Menge, so ist nicht nur
ihr Bild, sondern die Funktion selber eine Menge.
Dann ist W (G) = {G(x) | x D(F)} = {(x, F(x)) | x D(F)} = F, also auch F
Menge nach dem Ersetzungsaxiom (angewandt auf G). Die Beweise von (ii) und
(iii) sind leichte Ubungsaufgaben.
Die Aussagen (ii) und (iii) werden verstandlich, wenn man Mg(A) inhalt-
lich deutet als A ist nicht zu gro und beachtet, da das Bild einer Funktion eher
kleiner als der Definitionsbereich ist (da die Funktion moglicherweise verschie-
dene Mengen auf dasselbe Objekt abbildet. (Genaueres hierzu bei der Einfuhrung
des Begriffes der Kardinalzahl!)
Satz uber das cartesische Produkt
Das Produkt zweier Mengen ist wieder eine Menge: Mg(a b)
Beweis: Offensichtlich kann man die Menge b auf {c} b abbilden, dieses
ist also eine Menge nach dem Ersetzungsaxiom. Somit kann man eine Funktion
F : a V definieren durch F(x) = {x} b.
Hiermit gilt nun a b = xa ({x} b) = xa F(x).
S S
Bemerkungen
Da Elemente von Klassen stets Mengen sind, ist P(A) nur als Klasse aller
Teilmengen von A definierbar, ebenso ist b A nur fur Mengen b definierbar.
/ a P(a).
Es ist stets 0,
a b P(P(a b)).
5.5. V EREINIGUNG UND P RODUKT 131
Also kann man auch mit Hilfe des Potenzmengenaxioms (und des Aus-
sonderungsaxioms) zeigen, da das Produkt von zwei Mengen wieder eine
Menge ist.
Wie im Falle der Vereinigung gibt es fur eine Menge ein einfaches und fur eine
Familie von Mengen ein allgemeines Produkt; in diesem Fall lat es sich aber nur
fur Indexmengen definieren:
Allgemeines Produkt
Bemerkung
Es gibt einfache Bijektionen (fur a 6= b)
wobei wir statt F jetzt auch eine Mengenvariable a einsetzen konnen, da nach
dem Ersetzungsaxiom eine Funktion, die auf einer Menge definiert ist, selbst eine
Menge ist.
5.5. V EREINIGUNG UND P RODUKT 132
Satz
(i) x a F(x) P(a
S
xa F(x))
kann als Menge der naturlichen Zahlen gewahlt werden. Im Sinne der Ordinal-
zahltheorie ist es eine Ordinalzahl, und zwar die kleinste unendliche Ordinalzahl,
bezeichnet mit .
Die bisherigen Axiome legen die Gleichheit von Mengen fest Ext) oder for-
dern die Existenz von Mengen, die eindeutig beschrieben werden (Paar, Summe,
Potenz, Bildmenge, naturliche Zahlen). Von anderer Art ist das
Fundierungsaxiom (Fund) a 6= 0/ x a x a = 0.
/
5.6 Uberblick
uber die ZF-Axiome
lassen sich die obigen Axiome auch wie folgt kurzer und pragnanter ausdrucken
(mit den u blichen Definitionen von Funktionen als Klassen geordneter Paare):
Metatheorem
(i) Aus den Axiomen (Ext), (Null), (Paar), (Ers) folgt (Aus),
2. Fall: a A 6= 0:
/ Wahle ein b a A und definiere eine Funktion
F : a a A durch
(
x, falls x a A,
F(x) =
b, sonst
und wende das Ersetzungsaxiom an.
Dasselbe Argument liefert einen Beweis von (ii), benotigt aber weder das Null-
mengenaxiom noch das Paarmengenaxiom:
Zu zeigen ist: yx(x y x a (x)).
Definiere dazu eine Formel
(x, y) : ((x) x = y).
Es gilt dann:
(x, y) (x, z) y = z,
also existiert nach (ErsS) ein b mit
135
Kapitel 6
Wenn man eine Aussage u ber alle naturlichen Zahlen beweisen will, so kann man
sie nicht fur jede Zahl einzeln nachprufen, da dies unendlich-viele Schritte erfor-
dern wurde. Stattdessen kann man auf das Induktionsprinzip fur die naturlichen
Zahlen zuruckgreifen, allgemeiner im Falle unendlicher Mengen auf eine Wohl-
ordnung dieser Menge. Damit werden die Elemente der Menge in einer Weise
geordnet, da man sie von den kleineren zu den groeren durchlaufen kann,
was dann genauer im (transfiniten) Induktionsprinzip ausgedruckt wird. Wir wie-
derholen zunachst den Begriff der Wohlordnung und erweitern ihn zugleich auf
den Fall von Klassen:
2. Eine (irreflexive) lineare Ordnung auf A ist eine teilweise Ordnung < auf
A mit
(c) x, y A (x < y x = y y < x) vergleichbar.
6.1. I NDUKTION UND R EKURSION 136
3. Eine Wohlordnung auf einer Klasse A ist eine lineare Ordnung < auf A,
welche zusatzlich die folgenden Bedingungen erfullt:
Bemerkungen
Die Mengenbedingung (F2) ist nur wichtig fur echte Klassen; ist A (und
damit auch die Relation < auf A) eine Menge, so ist (F2) stets erfullt, da
{x | x < a} A.
Eine Relation, die nur die Bedingungen (F1) und (F2) erfullt (also ohne
notwendig eine lineare Ordnung zu sein), heit fundiert.
Ist < Wohlordnung auf A, so lat sich die Minimalitatsbedingung (F1) auf
Klassen verallgemeinern - als formale Bedingung mit einem Allquantor
u ber alle Klassen B konnen wir sie nicht aufschreiben, sondern nur als Aus-
sagenschema fur alle Klassenterme B:
6.1.2 Minimumsprinzip
< sei Wohlordnung auf A. Dann hat jede nicht-leere Teilklasse von A ein <-
minimales (bzw. <-kleinstes) Element:
(ii) 0/ 6= B A x B y B x y.
6.1. I NDUKTION UND R EKURSION 137
y B y < b, d. h. [< b] B 6= 0.
/
Nach der Mengenbedingung (F2) ist [< b] B eine Menge und hat damit nach
(F1) ein <-minimales c:
(+) c [< b] B y [< b] B y 6< c.
Dann gilt aber auch c B y B y 6< c,
denn gabe es ein y B mit y < c, so ware y [< b] B (wegen c < b) im Wider-
spruch zur Bedingung (+).
Im folgenden schreiben wir R fur die Wohlordnung < (denn wir benotigen nur
die Fundiertheit von R):
Wohlordnungen
6.1.3 Induktionsprinzip fur
R sei Wohlordnung auf A. Dann gilt:
(ii) x A [S(x, R) B x B] A B.
Dieses Prinzip bedeutet, da man eine Aussage (x) fur alle Elemente von
x A nachweisen kann, wenn man fur ein beliebiges a A zeigen kann:
6.1.4 Segmente
Fur eine Relation R definieren wir:
R-Segment(B) : xy(xRy y B x B) R-Segment
Im Falle der -Beziehung E gilt:
E-Segment(B) trans(B).
Fur Ordnungen < sind wegen der Transitivitat die Mengen S(a, <) = {x | x < a}
offenbar Segmente (genannt Anfangssegmente), fur Wohlordnungen sind es die
einzigen echten Segmente:
Lemma
(i) R sei lineare Ordnung auf A, und S, T A seien Segmente.
Dann gilt: S T T S.
(ii) Ist R Wohlordnung auf A, S A ein echtes Segment, so S = S(a, R) fur ein
a A.
Beweis von (i): Sei S T falsch. Dann gibt es ein a S T , und dieses kann kein
R-groeres b T besitzen (sonst ware auch a T , da T ein Segment ist). Also
gilt fur alle b T : bRa, insbesondere T S.
Fur den Beweis von (ii) wahle man das R-kleinste Element a A S.
Wohlordnungen
6.1.5 Rekursionssatz fur
Es sei R eine Wohlordnung auf A, G : V V V eine Funktion. Dann existiert
genau eine Funktion
F : A V , die durch die folgenden rekursiven Eigenschaften bestimmt ist:
F(a) = G(a, F S(a, R)).
Eine einfache Variante dieses Satzes liefert eine Funktion F mit
F(a) = G(a, {F(x) | xRa}).
Ferner konnen G und F weitere Stellen als Parameter enthalten, z. B.
F(a, u, v) = G(a, u, v, {F(x, u, v) | xRa}).
Beweis:
a) Die Eindeutigkeit von F zeigt man durch R-Induktion,
b) fur den Nachweis der Existenz definiert man:
6.1. I NDUKTION UND R EKURSION 139
(iv) F := {h | h brav }.
S
F ist wegen (iii) eine Funktion, D(F) ist ein Segment, und F erfullt die Rekursi-
onsbedingungen (da Vereinigung braver Funktionen). Es bleibt zu zeigen, da F
auf ganz A definiert ist:
Ware B := D(F) echtes Segment von A, so B = S(a, R) fur ein a A nach
obigem Lemma (ii), insbesondere B und damit F eine Menge, etwa F = f mit
bravem f . Dieses f konnte man dann fortsetzen zu einem braven
h := f {(a, G(a, f S(a, R)))}
mit a D(h) = S(a, R) {a} ein Segment, also mute auch a D(F) = B =
S(a, R) sein und somit aRa, Widerspruch!
Kontraktionslemma
R sei eine Wohlordnung auf A. Dann existiert genau eine Abbildung F und eine
transitive Klasse B, so da:
Dabei sei das geordnete Paar von Klassen etwa definiert durch:
Beweis: a) Eindeutigkeit:
Sei F : A B mit aRb F(a) F(b), B transitiv. Dann gilt fur alle b A:
Dadurch ist aber F eindeutig festgelegt, und B ist eindeutig als Wertebereich von
F bestimmt.
b) Existenz: Nach dem Rekursionssatz existiert (genau) ein F mit
Wohlordnungen
6.1.6 Reprasentationssatz fur
< sei eine Wohlordnung auf A.
(i) Ist A = a eine Menge, so gibt es genau eine Abbildung f und genau eine
Ordinalzahl mit
f : (a, <)
= (, ).
(ii) Ist A eine echte Klasse, so gibt es genau eine Abbildung F mit
F : (A, <)
= (On, ).
0 := 0/ Null
N f () : = + 1 Nachfolgerzahl
Lim( ) : 6= 0 N f ( )) Limeszahl
6= 0 < ( + 1 < )
Lemma
(i) = 0 N f () Lim() (und es gilt genau einer der drei Falle),
(iii) A On A On A = On.
Beweis von (ii): Ist A transitiv, so ein E-Segment von On und nach Lemma (ii) aus
6.1.4 somit = On oder als echtes Segment von der Form A = {x | x < } = fur
ein .
Zum Beweis von (iii) beachte man, da fur A On gilt: A ist transitiv (allge-
meiner ist die Vereinigung transitiver Mengen wieder transitiv), so da man (ii)
anwenden kann.
Offenbar ist (ii) eine Verallgemeinerung des Satzes aus 5.1.4. (iii) besagt, da
das Supremum einer Klasse von Ordinalzahlen wieder eine Ordinalzahl ist oder
= On ist, und zwar gilt in (ii) und (iii) jeweils der 1. Fall, wenn A beschrankt ist
(d. h. A ), der 2. Fall, falls A unbeschrankt ist (also A).
Die Existenz von Limeszahlen folgt erst aus dem Unendlichkeitsaxiom, und
damit werden wir uns im folgenden Abschnitt beschaftigen. Hier konnen wir die
Existenzfrage erst einmal offen lassen; falls es keine Limeszahl gibt, sind die Or-
dinalzahlen gerade die naturlichen Zahlen, anderenfalls gehen sie daruber hinaus:
Mit einer Limeszahl gibt es auch wieder die Nachfolgerzahlen + 1, + 2, . . .
(die aber keine naturlichen Zahlen mehr sind) und dann wieder deren Limes,
Nachfolger, Nachfolger, . . . , Limes, . . . , usw. Somit fuhren die Ordinalzahlen u ber
die naturlichen Zahlen hinaus, indem zu jeder Menge von Ordinalzahlen auch das
Supremum wieder eine Ordinalzahl ist: Es gilt
Dabei haben wir in (i) die Klassen-, in (ii) die Schema-Schreibweise benutzt. (iii)
ist das hierzu a quivalente Minimumsprinzip. Im folgenden Satz beschranken wir
uns auf den Fall, welcher der Induktion der Form (ii) entspricht:
F(0) = a
F( + 1) = G(, F())
F( ) = H( , {F( ) | < }) fur Lim( ).
Die von den naturlichen Zahlen bekannten Rechengesetze gelten zum Teil
auch fur die unendlichen Ordinalzahlen (+ und sind assoziativ mit 0 bzw. 1
als neutralen Elementen, alle Operationen sind schwach monoton), Addition und
Multiplikation sind jedoch nicht kommutativ und verhalten sich nur hinsichtlich
ihres 2. Argumentes wie gewohnt. Soweit die u blichen Rechengesetze jedoch
nicht gelten, sind sie bereits im kleinst-moglichen Fall verletzt, z.B.:
nicht-kommutativ: 1 + = 6= + 1, 2 = 6= 2 = +
nicht-links-distributiv: (1 + 1) = 6= 1 + 1 = +
nicht-monoton im 1. Argument: 1 + = 2 + , 1 = 2 , 2 = 3
6.2. D IE VON -N EUMANNSCHE H IERARCHIE 144
Durch transfinite Rekursion definieren wir eine Folge von Mengen (V | On),
indem wir ausgehend von der leeren Menge die Potenzmengenoperation iterieren:
/ V+1 = P(V ), V =
[
V0 = 0, V fur Limeszahlen .
<
Die Mengen V nennt man auch VON N EUMANNsche Stufen. Das Fundie-
rungsaxiom ist a quivalent damit, da jede Menge als Element einer Stufe vor-
kommt, d. h. mit der Aussage
[
V= V .
On
Damit erhalt man eine Einteilung der Klasse V aller Mengen in eine Hierar-
chie von Stufen, die gewisse Ahnlichkeiten mit V aufweisen. Genauer lat sich
dieser Zusammenhang in der Form eines
Reflexionsprinzip (Refl)
[a V x1 . . . xn V ( V (x1 . . . xn ) (x1 . . . xn ))]
ausdrucken, wobei die Formel a (die Relativierung von nach a) aus her-
vorgeht, indem dort jeder Quantor Qx durch den relativierten Quantor Qx a
ersetzt wird. Somit besagt das Reflexionsprinzip, da zu jeder Formel ein be-
liebig groes V existiert, das bezuglich der Eigenschaft sich wie die Allklasse
V verhalt. Man kann Reflexionsprinzipien benutzen als alternative (und weniger
pragmatische) Moglichkeit, die Theorie ZF zu axiomatisieren - bei geeigneter For-
mulierung machen sie alle Mengenexistenz-Axiome (bis auf das Aussonderungs-
axiom) u berflussig und sind naturlich modelltheoretisch von besonderem Interes-
se.
Die Stufen V sind transitive Mengen mit interessanten Abschlueigenschaf-
ten:
(V , ) ist Modell aller Axiome von ZF, bis auf das Unendlichkeitsaxiom,
das hierin falsch ist (da alle Mengen in V endlich sind, s. unten 6.3.2).
(V , ) ist fur Limeszahlen > Modell aller Axiome von ZF, bis auf das
Ersetzungsaxiom.
Die Frage nach der Existenz von Ordinalzahlen , fur die (V , ) ein Mo-
dell von ZF ist, fuhrt zu den groen Kardinalzahlen, deren Existenz in ZF
nicht beweisbar ist (unerreichbare Zahlen).
6.3. D IE ROLLE DES U NENDLICHKEITSAXIOMS 145
Wenn man moglichst schnell und einfach das Induktionsprinzip fur die naturli-
chen Zahlen erhalten will, so definiert man sie als Durchschnitt aller induktiven
Mengen (und damit als kleinste induktive Menge):
\
N := {x | Ind(x)}, wobei
Induktiv(a) : 0/ a y(y a y {y} a)).
Da der Durchschnitt u ber die leere Menge jedoch keine Menge (sondern die echte
Klasse aller Mengen) ist, mu man fur diesen Weg das Unendlichkeitsaxiom vor-
aussetzen (welches gerade besagt, da es eine induktive Menge gibt). Wir wollen
jedoch - soweit moglich - dieses Axiom vermeiden und wahlen daher den Begriff
der naturlichen Zahl als endliche Ordinalzahl, d. h. als Ordinalzahl unter der
ersten Limeszahl:
a) Gilt (Un), so ist die kleinste Limeszahl = Menge der naturlichen Zahlen.
b) Gilt (Un), existiert also keine unendliche Menge, so sind alle Mengen end-
lich und die naturlichen Zahlen bilden eine echte Klasse, die mit der Klasse
On aller Ordinalzahlen zusammenfallt.
Da somit die naturlichen Zahlen spezielle Ordinalzahlen sind, ergeben sich aus
den jeweiligen Prinzipien fur die Ordinalzahlen entsprechende Aussagen u ber die
naturlichen Zahlen (dabei benutzen wir wie u blich Variable n,m,k fur naturliche
Zahlen):
F(0) = a
F(n + 1) = G(n, F(n).
Damit dieses eine Menge ist, mussen wir naturlich das Unendlichkeitsaxiom vor-
aussetzen; dann aber gilt das Induktionsschema im Standardmodell nicht nur fur
Aussagen der Sprache von PA, sondern fur beliebige mengentheoretische For-
meln, und es lat sich in ZF beweisen, da das Standardmodell bis auf Isomorphie
das einzige dieser (mengentheoretisch erweiterten) Axiome ist (wobei man P3-P6
nicht einmal benotigt):
P1 x e 6= x
P2 xy(x0 = y0 x = y)
Die Kategorizitat dieser Theorie besagt, da es (bis auf Isomorphie) genau ein
Modell gibt, d. h.:
Jedes Modell von PA(2) ist isomorph zum Standardmodell (,0 , 0).
Beweis: Ind(2) ist ein Axiom, in welchem X ein Quantor 2. Stufe ist, welcher
in einem Modell (w, , e) ausdruckt: fur alle Teilmengen von w . . . , d. h. dieses
Axiom entspricht dem mengentheoretische Induktionsprinzip.
Es sei nun also (w, , e) ein Modell von PA(2) , d.h.
Der Rekursionssatz fur die naturlichen Zahlen liefert ein (sogar eindeutig be-
stimmtes) f mit dieser Eigenschaft; zu zeigen bleibt also nur noch die Bijektivitat:
f ist surjektiv: Sei v := W ( f ) = { f (n) | n }. Dann folgt aus den rekursiven
Bedingungen fur f :
e v x(x v x v),
f ist surjektiv.
also nach (3): w v und damit w = v, d.h.
f ist injektiv, d.h.
(ii) m 6= 0 n(m = n0 )
1. Sei n = 0 und n 6= m. Dann ist m 6= 0, also nach (i) m = k0 fur ein k und
damit f (0) = e 6= f (m) = f (k) nach (2).
6.3. D IE ROLLE DES U NENDLICHKEITSAXIOMS 148
2. Sei (i) bewiesen fur n (und alle m), m 6= n0 . Falls m = 0, schlieen wir wie
oben auf f (m) 6= f (n0 ). Falls m 6= 0, so wieder m = k0 fur ein k. Aus m =
k0 6= n0 folgt wegen (P2) k 6= n und damit nach Induktionsvoraussetzung
f (k) 6= f (n).
Hier zeigt sich besonders deutlich, da die zahlentheoretische Sprache (1. Stu-
fe) erheblich ausdrucksschwacher ist als die mengentheoretische Sprache.
Satz uber die Iteration und den Abschlu
(i) Zu jeder Funktion F und jeder Menge a gibt es eine Funktion
Wir nennen H auch die Iteration von G mit dem Anfangswert a und
schreiben auch F n (a) fur H(n, a).
(ii) Zu jeder Funktion F und jeder Menge a gibt es eine Obermenge b von a, die
unter F abgeschlossen ist:
y(a y x y F(x) y)
Beweis von (ii): Zu gegebenem F und der Ausgangsmenge a definiere durch Re-
kursion eine Funktion G mit den Eigenschaften
Dann ist offensichtlich a b x b F(x) b), und zwar ist b die kleinste der-
oder der Abschlu von a unter der Abbildung F.
artige Menge, die Hulle
Hullenaxiom (HS) y(a y x y F(x) y).
Satz
Unter der Voraussetzung der u brigen Axiome von ZF (einschlielich des Ausson-
derungsschemas) ist das
Beweis: (HS) haben wir in obigem Satz in ZF gezeigt. Umgekehrt folgt aus (HS)
das Unendlichkeitsaxiom (mit a = 0/ und F(x) = x0 ) und a hnlich das Ersetzungs-
axiom, indem es fur eine Funktion F und eine Menge a zunachst eine Obermenge
b a mit {F(x)|x b} b liefert, fur die dann aber {F(x) | x a} als Teilklasse
von b eine Menge nach dem Aussonderungsaxiom ist.
6.3. D IE ROLLE DES U NENDLICHKEITSAXIOMS 150
Anwendungen des Hullenaxioms
1. Ahnlich wie wir als (kleinste) Ordinalzahl erhalten konnen, die > 0 ist und
0
unter abgeschlossen ist, erhalten wir zu jeder Ordinahlzahl eine (nachstgroe-
re) Limeszahl > , aber auch Ordinalzahlen > , die unter arithmetischen Ope-
rationen abgeschlossen sind:
, < + < bzw. die -Zahlen: < 2 < , usw.
2. Zu jeder Menge a existiert eine kleinste Obermenge b a mit trans(b), die
transitive Hulle TC(a) von a:
[
TC(a) := U n (a), wobei U die Iteration der
n
Vereinigungsmenge ist: U o (a) = a, U n+1 (a) = U n (a),
[ [[
also TC(a) = a a a...
3. Eine Menge ist endlich gdw sie sich auf die Zahlen {0, . . . , n} fur eine naturli-
che Zahl n abbilden lat,
Sie lat sich auch beschreiben durch HF = V und ist somit eine Menge (wobei
man wesentlich das Unendlichkeitsaxiom benutzt - dagegen ist die Klasse aller
endlichen Mengen stets eine echte Klasse).
4. Mit Hilfe der VON N EUMANNschen Stufenhierarchie kann man die folgenden
Verstarkungen des Hullenaxioms erhalten
welche sich auch zur Axiomatisierung von ZF verwenden lassen (vgl. die in 6.2
erwahnten Reflexionsprinzipien).
151
Kapitel 7
Das Auswahlaxiom
Auswahlaxiom: (AC) x a x 6= 0/ xa x 6= 0, /
d. h. x a x 6= 0/ f (Fkt( f ) D( f ) = a x a f (x) x),
(ein solches f heit Auswahlfunktion fur die Menge a).
Der Beweis dieser Aussagen aus dem Auswahlaxiom beruht darauf, dass man
in allen diesen Fallen eine Auswahl in Abhangigkeit von den Elementen einer
Menge treffen muss (dabei benotigt man fur AC2 das Fundierungsaxiom, um
den Bereich der moglichen y auf eine genugend groe Menge V einschranken
zu konnen). Umgekehrt sind die obigen Auswahlprinzipien allgemein genug, um
hieraus das ursprungliche AC zu folgern.
AC WO2: Sei a 6= 0.
/ Nach dem Auswahlaxiom existiert eine Funktion
f : P(a) {0}
/ V mit x a(x 6= 0/ f (x) x).
Ein maximales Element besitzt also kein echt groeres, braucht aber nicht das
grote Element zu sein (zumindest nicht in einer teilweisen Ordnung).
Beweis von WO H:
r sei partielle Ordnung auf a, a = {a | < } sei wohlgeordnet. Wir definieren
eine Teilmenge {b | < } von a durch Rekursion wie folgt:
(
a falls {b | < } {a } r-Kette,
b =
a0 sonst.
{b | < } ist dann eine maximale r-Kette (mit b0 = a0 ).
H ZL:
Sei r partielle Ordnung auf a, die (*) erfullt. Nach H existiert eine maximale r-
Kette k a. Eine obere Schranke von k ist dann ein maximales Element (sonst
konnte man k echt erweitern).
ZL AC:
Sei a 6= 0/ und x a x 6= 0.
/ Setze
[
B := { f | y a( f : y a x y f (x) x)}.
Jedes Element von B ist eine partielle Auswahlfunktion und Teilmenge von a
a, damit ist auch B als Menge b P(a a) abschatzbar. Als teilweise Ord-
S S
S
nung auf B = b wahlen wir r = -Beziehung. Fur jede r-Kette k ist dann k eine
obere Schranke, und ein nach dem Z ORNschen Lemma maximales Element in B
ist dann eine Auswahlfunktion fur a .
Bemerkungen
Aus obigem Beweis lasst sich ablesen, da H sogar allgemeiner gilt: jede
partielle Ordnung r auf a besitzt fur jedes b a eine r-Kette k mit b k.
Das Z ORNsche Lemma ist offenbar trivial, wenn r eine lineare Ordnung auf
a ist, weil dann a selbst schon eine Kette ist. Daher kann man Anwendungen
von ZL nur fur teilweise Ordnungen erwarten. Wie in obigem Beweis ist
haufig diese Ordnung die -Beziehung, und haufig kann man in diesem
Fall (*) nachweisen, indem man zeigt, da
7.1. Z ERMELOS A XIOM 155
S
(Dann ist k namlich eine obere Schranke.)
Es gilt:
AC DC, DC AC (aber die Umkehrungen sind nicht beweisbar).
Das AC wird vielfach in der Analysis benutzt (s.u.), insbesondere auch fur
die Aussage, da die Vereinigung abzahlbar-vieler abzahlbarer Mengen wieder-
um abzahlbar ist. DC benotigt man z. B. fur die Aquivalenz verschiedener End-
lichkeitsdefinitionen sowie zum Beweis, da die Minimalitatsbedingung der Fun-
diertheit (s. (F1) von 6.1.1.3)
a quivalent ist zur Aussage, da es fur < keine unendlich-absteigenden Ketten gibt:
(dabei benotigt man gerade das DC, um (F11) (F1) zu zeigen, wahrend die
umgekehrte Richtung auch ohne DC beweisbar ist).
7.2. A NWENDUNGEN DES AUSWAHLAXIOMS 156
Dann ist eine partielle Ordnung auf der Menge P, und fur jede Kette k P
S
ist k eine obere Schranke von k in P. Nach dem Z ORNschen Lemma existiert
also ein maximales Element in P; eine maximale linear unabhangige Menge von
Vektoren ist aber eine Basis.
Bemerkungen
1. A. Blass: Existence of bases implies AC, Contempory Math., Axiomatic Set
Theory, AMS 31 (1983)) hat gezeigt, da auch die Umkehrung gilt:
Hat jeder Vektorraum eine Basis besitzt, so gilt das Auswahlaxiom.
2. Den Vektorraum R der reellen Zahlen kann man auch als (unendlich-dimen-
sionalen) Vektorraum u ber den rationalen Zahlen Q auffassen, er besitzt
dann also eine Basis, die man H AMEL-Basis nennt. Aus der Existenz einer
solchen Basis folgt nun aber insbesondere die Existenz einer Funktion
Ein solches f ist zwar Q-linear, aber nicht R-linear. Tatsachlich kann f
unstetig sein, und es ist sogar moglich, da W ( f ) Q!
m : L {x | x R x 0} {},
so da gilt:
(L4) Ist (Ai |i < ) eine abzahlbare Folge von Mengen L, so ist auch
i< Ai L, und falls Ai A j = 0
/ fur i 6= j, so ist
S
S
m( i< Ai ) = i< m(Ai ). -Additivitat
(L5) A L r R A + r = {a + r | a A} L
und m(A) = m(A + r) Translationsinvarianz
Auf den reellen Zahlen definieren wir eine Aquivalenzrelation durch
x y : x, y [0, 1] x y Q.
Nach dem Auswahlaxiom in der Form AC3 existiert hierzu ein Reprasentan-
tensystem S, d. h.
Sr St = 0/ fur r,t Q, r 6= t.
7.2.4 Aquivalenz verschiedener Stetigkeitsdefinitionen
Auf den reellen Zahlen definiert man die u bliche Topologie mit Hilfe der -
Umgebungen von x:
sowie
(1) fur A R die abgeschlossene Hulle von A durch
T : T ` ,
L(T) := {[ ]T | L-Satz}
sei die Menge der zugehorigen Aquivalenzklassen. Den aussagenlogischen Ope-
rationen entsprechen dann Operationen auf L(T):
[]T []T := [ ]T
und a hnlich fur die u brigen Operationen. Damit wird L(T) zu einer B OOLEschen
Algebra mit
0 = { | T ` } und 1 = { | T ` }.
Eine Theorie T ist somit vollstandig und konsistent gdw L(T) isomorph zur 2-
elementigen B OOLEschen Algebra ist.
Ein Filter einer B OOLEsche Algebra (B, , , , 0, 1) ist eine nichtleere Teil-
menge F B mit folgenden Eigenschaften:
(U1) x, y F x y F,
(U2) x F, y B x y F.
Ein Filter F heit echt gdw F 6= B. Ein Primfilter ( Ultrafilter) ist ein echter
Filter F mit der zusatzlichen Eigenschaft
(U) x F oder B x F.
7.2. A NWENDUNGEN DES AUSWAHLAXIOMS 160
Ultrafilter kann man auch als maximale echte Filter charakterisieren; sie haben
auerdem folgende Eigenschaften:
x 6 U Bx U
x U und y U xy U
x U oder y U xy F
Satz
Das BPI ist a quivalent mit folgenden Aussagen:
(i) Jede B OOLEsche Algebra besitzt einen Ultrafilter.
Kapitel 8
Der Grundbegriff der Theorie der Kardinalzahlen ist die Machtigkeit einer Menge.
Zunachst definieren wir, wann zwei Mengen gleichmachtig sind:
a b : f ( f : a b) gleichmachtig
Ist a endlich, so ist die naturliche Zahl n mit a n (die man durch Abzahlen
bestimmt) eindeutig festgelegt und gibt die Anzahl der Elemente von a an - fur
unendliche Mengen braucht dies aber nicht mehr zu gelten (siehe (i) des folgenden
Satzes)!
8.1. E NDLICHE UND ABZ AHLBARE M ENGEN 162
2. Von W HITEHEAD -RUSSELL stammt die folgende Definition, die den Zahl-
begriff vermeidet:
Eine Menge u P(a) heit induktive Familie von Teilmengen von a gdw
0/ u x u y a x {y} u,
d.h. u enthalt die leere Menge und mit jeder Menge x auch die um ein Element
aus a erweiterte Menge. Definiere:
a D-unendlich : x a (a x)
Satz
(i) n m n, m n = m, allgemeiner:
m m = m, (jedoch: + 1 + )
(
an+1 , falls x = an
g(x) =
x, sonst
Es ist dann g : a a {a0 } a.
endliche Mengen:
(v) Induktionsprinzip fur
Abzahlbare Mengen lassen sich mit Hilfe der naturlichen Zahlen abzahlen:
Damit sind dann auch die endlichen Mengen einbegriffen, da in der Abzahlung
Elemente mehrfach aufgezahlt werden konnen. Wir unterscheiden:
Eine Aufzahlung ohne Wiederholungen (also eine bijektive Abbildung auf die
naturlichen Zahlen) liefert eine abzahlbar-unendliche Menge:
a abzahlbar-unendlich: a .
a b, a b, a b, a b, F[a],
P< (a) := {x | x a x endlich},
a< := { f | n < f : n a}.
Beweis von (i): Sei zunachst a abzahlbar, also f : a fur ein f , wobei wir a
als unendlich voraussetzen konnen. Zu zeigen ist: a , d. h. a ist auch ohne
Wiederholungen aufzahlbar:
Setze a0 = f (0) und definiere (durch Rekursion) an+1 = f (k), wobei k minimal ist
mit f (k) 6= ai fur alle i < n + 1. (Da a unendlich ist, mu ein solches k existieren.)
Es ist dann n 7 an eine Bijektion von auf a.
Umgekehrt sind offenbar endliche wie auch abzahlbar-unendliche Mengen
abzahlbar.
Wir zeigen wir nun (iii), wobei wir annehmen konnen, da die betrachteten
Mengen nicht-leer sind: Dazu geben wir zunachst eine Paarfunktion an:
f : , f (n, m) = 2n (2m + 1) 1.
wobei g :
S
n an definiert ist durch g(n, m) = gn (m).
BERABZ AHLBARE
8.3. U M ENGEN 165
S
Die gewunschte Abbildung h : n an erhalt man nun aus g durch Vor-
schalten der Inversen f 1 der oben definierten Paarfunktion f .
(ii) beweist man a hnlich, wobei man sich leicht u berzeugt, da man in diesem
Fall das abzahlbare Auswahlaxiom nicht benotigt.
8.3 Uberabz
ahlbare Mengen
Wahrend die Potenzmenge einer endlichen Menge auch wieder endlich ist, ist die
Potenzmenge einer abzahlbar-unendlichenen Menge nicht mehr abzahlbar, also
uberabzahlbar: Ware
Wir erhalten also einen Widerspruch wie im Falle der RUSSELLschen Anti-
nomie! In a hnlicher Weise kann man zeigen, da die Menge aller zahlentheoreti-
schen Funktionen und auch die Menge aller reellen Zahlen R u berabzahlbar sind.
8.4 Machtigkeiten
Obwohl wir die Machtigkeit einer Menge noch nicht erklart haben, konnten wir
Mengen als gleichmachtig definieren, wenn sie sich eineindeutig aufeinander ab-
bilden lassen. Ebenso lassen sich Mengen hinsichtlich ihrer Groe vergleichen,
ohne sie vorher aufzahlen zu mussen:
(Genauer sollte man fur a 4 b sagen: a ist von Machtigkeit kleiner oder gleich b.)
So ist z.B.
n 4 , n , 4 + 1, + 1 4 , P(), aber + 1 6 , 6 + 1.
8.4. M ACHTIGKEITEN 166
Lemma
Somit ist die Gleichmachtigkeit (Aquivalenz)
von Mengen eine Aquivalenzre-
lation und eine Kongruenzrelation bezuglich 4 und ; die Relation 4 ist reflexiv
und transitiv. Der folgende Satz besagt, da 4 antisymmetrisch (bis auf ) ist, was
trivial ist, wenn man das Auswahlaxiom benutzt. Als eines der wenigen Ergebnis-
se der Theorie der Machtigkeiten lat er sich aber auch ohne diese Voraussetzung
beweisen:
Beweis: Wir fuhren die Behauptung zunachst auf den einfacheren Fall
() a 4 b b a a b
h : a a0 b, g : b b0 a, also
f := g h : a a1 b0 mit a1 := g[a0 ] a0 a, d. h.
a1 b0 a a1 a b b0 , somit
a 4 b0 b0 a b0 b.
f :aba
g:ab
8.4. M ACHTIGKEITEN 167
wie folgt: (
f (x), falls x f n [a b]
S
n
g(x) =
x sonst.
Dabei ist f 0 (y) = y, f n+1 (y) = f ( f n (y)) (numerische Rekursion). Es gilt nun:
(i) g ist surjektiv, d. h. W (g) = b:
Sei d b. Falls d n f n [a b], so ist d f n [a b] fur ein n, und zwar
S
n > 0 wegen d b. Dann ist aber d = f ( f n1 (y)) fur ein y und damit d W (g).
Im anderen Fall ist aber d = g(d) und damit auch d W (g).
(ii) g ist injektiv:
Da f injektiv ist, so auch g auf n f n [a b], und als identische Abbildung
S
ist sie auch auf dem Komplement injektiv. Ist aber einerseits x n f n [a b]
S
Folgerung
Jede unendliche Menge enthalt eine abzahlbar-unendliche Teilmenge (und ist da-
mit D-unendlich).
Da es zu jeder Menge eine mit groerer Machtigkeit gibt, zeigt der
Beweis: Da durch x 7 {x} eine injektive Funktion definiert wird, ist a 4 P(a). Die
Annahme a P(a) widerlegt man wie im Fall a = durch ein Diagonalargument:
Falls f : a P(a), so setze man d := {x a | x 6 f (x)}. Dann erhalt man wegen
der Surjektivitat von f ein b a mit d = f (b), was aber mit
b f (b) = d b 6 b zum Widerspruch fuhrt!
8.5 Kardinalzahlen
Das erste Problem lat sich vermeiden, indem man das Auswahlaxiom voraus-
setzt: Dann lat sich jede Menge wohlordnen:
aber das zweite Problem bleibt bestehen: Selbst bei injektiven Aufzahlungen ist
die Lange nicht eindeutig bestimmt. Als Kardinalzahl von a wahlt man daher
das kleinstmogliche derartige :
Bemerkung
Auch ohne Voraussetzung des Auswahlaxioms kann man (etwa mit Hilfe der
VON -N EUMANNschen Hierarchie) Machtigkeiten definieren, die Mengen sind.
In diesem Fall nennt man Kardinalzahlen die Machtigkeiten von wohlgeordneten
Mengen. Allerdings lat sich (wie wir schon bei obigen Satzen gesehen haben)
ohne Auswahlaxiom keine befriedigende Theorie der Machtigkeiten aufbauen.
Daher werden wir im folgenden das Auswahlaxiom stets voraussetzen und nicht
zwischen Kardinalzahlen und Machtigkeiten unterscheiden.
Beispiele
Tatsachlich ist jede unendliche Kardinalzahl eine Limeszahl (aber nicht umge-
kehrt), die Kardinalzahlen bilden somit eine echte Teilklasse Cn der Ordinalzah-
len. Cn ist trotzdem immer noch sehr gro: Das Supremum einer Menge von Kar-
dinalzahlen ist wieder eine Kardinalzahl, und nach dem Satz von C ANTOR gibt es
keine grote Kardinalzahl.
= |( {0}) ( {1})|
= | |
= | | = |{ f | f : }|
Endliche Ordinal- und Kardinalzahlen stimmen u berein (es sind gerade die
naturlichen Zahlen), und fur diese Falle stimmen diese Operationen mit den ent-
sprechenden Operationen auf den Ordinalzahlen ebenfalls u berein. Fur unendli-
che Kardinalzahlen ergeben sich aber wesentliche Unterschiede. So sind die Ope-
rationen der Addition und Multiplikation auf den Kardinalzahlen (wie im Falle
der naturlichen Zahlen, aber im Gegensatz zu den ordinalen Operationen) kom-
mutativ, assoziativ und distributiv - wenngleich diese Gesetze trivial sind; es gilt
namlich der
= = max{, }.
(Tatsachlich braucht nur eine der beiden Zahlen unendlich zu sein, im Falle der
Multiplikation darf aber naturlich keine = 0 sein.) Dieses Ergebnis lat sich (mit
einfachen Monotoniegesetzen) zuruckfuhren auf
Satz
Fur unendliche Kardinalzahlen gilt:
= .
a< : = { f | n < f : n a}
P< (a) : = {x a | x endlich}
8.5. K ARDINALZAHLEN 171
Satz
Fur 0/ 6= b 4 a, a unendlich, gilt:
(i) |a b| = |a b| = |a|,
(ii) |a< | = |P< (a)| = |a|.
Zur Aufzahlung der unendlichen Kardinalzahlen benutzt man seit C ANTOR
den hebraischen Buchstaben (aleph):
= 0 < 1 < . . . < . . .
0 ist also die Kardinalzahl abzahlbar-unendlicher Mengen, 1 die erste u berab-
zahlbare Kardinalzahl. Wahrend Addition und Multiplikation unendlicher Kardi-
nalzahlen trivial sind, ist schon der Wert der einfachsten Potenz unbekannt:
Die Machtigkeit der Menge R der reellen Zahlen ist 20 (kardinale Potenz!),
und da R u berabzahlbar ist, so gilt 1 20 . Die
Cantorsche Kontinuumshypthese CH 1 = 20
ist aus den Axiomen von ZF + AC weder beweisbar (C OHEN 1963) noch wider-
legbar (G ODEL 1938). Trotzdem gibt es einige einfache Abschatzungen:
2 2 = =
< 2 =
=
Korollar
Fur unendliches a, , :
(i) |P< (a)| = |a|,
(ii) |{ f | Fkt( f ) D( f ) D( f ) endlich W ( f ) }| = max(, ).
(iii) |P ()| = |P ()| = fur , insbesondere:
(iv) |P ()| = |P()| = = 2 .
172
Teil III
Kapitel 9
9.1 Elementare Aquivalenz
Die Theorie Th(A) einer Struktur A unterscheidet sich von allgemeinen Theorien
wie folgt:
Th(A) |= A |= ,
T |= fur alle A |= T : A |= ,
QUIVALENZ
9.1. E LEMENTARE A 174
die Gultigkeit eines Satzes in Th(A) hangt also nur von der Gultigkeit in dem
einen Modell A ab, sonst von der Gultigkeit in allen Modellen der Theorie. Somit
ist Th(A) semantisch vollstandig in folgendem Sinne:
A |= oder A |= .
3. A B Th(A) = Th(B).
5. Hat T u berhaupt ein Modell, so ist T vollstandig gdw T = Th(A) fur ein
(oder: alle) Modelle A von T.
9.2. D IE T HEORIE DER DICHTEN LINEAREN O RDNUNG 175
7. Ist A endlich, so ist im Falle A B auch B endlich, und zwar von derselben
Anzahl (da beide dieselben Anzahlformeln erfullen). Tatsachlich kann man
zeigen, da A und B in diesem Fall sogar isomorph sind!
Die obigen Beispiele zeigen zudem, da elementare Aquivalenz in starkem
Mae von der Sprache abhangt, die man zugrunde legt. Die Relation der elemen-
taren Aquivalenz ist ein wichtiger Grundbegriff der Modelltheorie, lat sich aber
i. a. schwer nachweisen, da man u ber Satze einer Sprache keine Induktion fuhren
kann. (Meistens weist man diese Relation nach u ber die starkere Isomorphiebezie-
hung oder zeigt, da beide Strukturen Modelle einer vollstandigen Theorie sind.)
Wir wollen hier ein Musterbeispiel einer vollstandigen Theorie behandeln. Dazu
werden wir zeigen, da je zwei abzahlbare Modelle isomorph sind; aus dem spater
folgenden Kriterium 10.6 von VAUGHT wird sich dann ergeben, da diese Theorie
vollstandig ist.
Die Theorie LO der linearen Ordnung wird in einer Sprache mit einem 2-
stelligen Relationszeichen < formuliert und hat folgende Axiome:
Diese Theorie ist noch nicht vollstandig; sie wird es aber, wenn man Aussagen
u ber die Endpunkte hinzunimmt, etwa
DLO sei die Theorie der dichten linearen Ordnungen (Axiome: L1L3, D);
Beispiele von Modellen von DLO + OE sind (Q, <) und (R, <), ersteres ist bis
auf Isomorphie das einzige abzahlbare Modell:
Beweis: Es seien (A, <), (B, <0 ) abzahlbare dichte Ordnungen ohne Endpunkte,
A = {a0 , a1 , . . .}, B = {b0 , b1 , . . .}. Wir konstruieren einen Isomorphismus
h : (A, <)
= (B, <0 ) mit a0n 7 b0n wie folgt:
hin: a0 7 b0 , wir setzen also a00 := a0 , b00 := b0 .
hin: Es sei n = 2i 1 ungerade und die Zuordnung a00 7 b00 , . . . , a0n 7 b0n be-
reits gefunden. Wir wahlen a0n+1 als das erste a in der Aufzahlung A =
{a0 , a1 , . . .}, welches wir noch nicht nach B abgebildet haben (welches also
unter den a00 , . . . a0n noch nicht vorgekommen ist) und ordnen diesem ein ent-
sprechendes b0n+1 in B zu, welches unter den bisherigen Bildern b00 , . . . , b0n
nicht vorkommt, so da es zu diesen in der Ordnung <0 so liegt, wie a zu
den a00 , . . . a0n , mithin
was moglich ist, da die Ordnung <0 auf B dicht und ohne Endpunkte ist.
her: Es sei n = 2i gerade und die die Zuordnungen a00 7 b00 , . . . , a0n 7 b0n be-
reits gefunden. Wir wahlen jetzt umgekehrt ein b0n+1 als das erste b in der
Aufzahlung B = {b0 , b1 , . . .}, fur welches wir noch kein Urbild in A ge-
funden haben (welches also unter den b00 , . . . b0n noch nicht vorgekommen
9.2. D IE T HEORIE DER DICHTEN LINEAREN O RDNUNG 177
ist) und ordnen diesem ein entsprechendes a0n+1 in A zu, welches unter den
bisherigen Urbildern a00 , . . . , a0n nicht vorkommt, so da es zu diesen in der
Ordnung < so liegt, wie b zu den b00 , . . . , b0n , mithin
was moglich ist, da die Ordnung < auf A dicht und ohne Endpunkte ist.
Bemerkungen
1. Auf a hnliche Weise kann man zeigen, da auch zwei abzahlbare dichte li-
neare Ordnungen mit erstem und letztem Element isomorph sind (indem
man diese zuerst aufeinander abbildet und dann mit dem Hin- und Herver-
fahren fortfahrt), a hnlich bei anderen Festlegungen u ber die Endelemente.
Die (zunachst unvollstandige) Theorie der dichten linearen Ordnungen hat
also 4 verschiedene Vervollstandigungen: ohne Endelemente, mit beiden
Endpunkten, mit nur kleinstem und ohne grotes sowie mit grotem, aber
ohne kleinstes Element.
2. Die Methode des Hin und Her stammt von H UNTINGTON 1904; C ANTOR
hat nur den Hin-Teil benutzt, welcher u brigens zeigt, da man (Q, <) in
jede dichte lineare Ordnung einbetten kann. (Diese Methode lat sich in der
Modelltheorie sehr gut verallgemeinern.)
3. Uberabz ahlbare dichte lineare Ordnungen derselben Machtigkeit brauchen
jedoch nicht isomorph zu sein: Ist etwa (R, <) eine solche Ordnung, so ist
die Ordnung, die man erhalt, wenn man eine Kopie der abzahlbaren Struk-
tur (Q, <) anfugt, von derselben Machtigkeit, aber nicht isomorph. Es gilt
sogar: Nimmt man aus den rationalen Zahlen einen Punkt heraus, so ist die
verbleibende Struktur immer noch eine abzahlbare lineare Ordnung ohne
Endpunkte (ahnlich, wenn man endlich-viele Punkte herausnimmt), anders
jedoch im Falle von (R, <):
(Q\{0}, <)
= (Q, <),
aber (R\{0}, <)
6 (R, <).
=
9.3. K ATEGORIZIT AT 178
Die Unterschiede beruhen darauf, da (Q, <) sehr viele Lucken hat, die
erst durch Hinzunahme der irrationalen Zahlen geschlossen werden; dage-
gen ist (R, <) so dicht (ein Kontinuum), da dort jede monoton aufsteigende
beschrankte Folge einen Limes hat.
9.3 Kategorizitat
Definiert man eine Theorie T als kategorisch genau dann, wenn je zwei Modelle
von T isomorph sind, so sind zwar vollstandige Theorien mit einem endlichen
Modell kategorisch, aber - wie wir im nachsten Kapitel sehen werden - keine
Theorie mit einem unendlichen Modell. Man kann dann hochstens noch danach
fragen, ob Modelle derselben Machtigkeit isomorph sind:
Nach dem Isomorphiesatz von C ANTOR ist die Theorie DLO der dichten li-
nearen Ordnung ohne Endpunkte 0 -kategorisch, woraus leicht folgt, da sie auch
vollstandig ist. Diese Folgerung werden wir im nachsten Kapitel verallgemeinern:
der Test von VAUGHT 10.6 liefert mittels der Kategorizitat ein Kriterium fur die
Vollstandigkeit einer Theorie.
Es gibt Theorien, die
Mehr Unterscheidungen gibt es nicht: Nach einem Satz von M ORLEY (1965)
gilt:
9.3. K ATEGORIZIT AT 179
Ist eine Theorie T (in einer abzahlbaren Sprache) -kategorisch fur ein u ber-
abzahlbares , so ist T -kategorisch fur alle u berabzahlbaren .
(Entsprechend verallgemeinert gilt nach S HELAH dieses Ergebnis auch fur
Theorien in einer u berabzahlbaren Sprache.) Interessant ist auerdem das Ergeb-
nis von VAUGHT, da eine vollstandige Theorie niemals genau zwei abzahlbare
nicht-isomorphe Modelle besitzen kann. Eine Reihe neuerer Arbeiten (insbeson-
dere von S HELAH) beschaftigt sich mit der Frage
Kapitel 10
A |= [a1 , . . . an ] B |= [a1 , . . . an ], d. h.
A4B AA BA .
Indem man fur die Formeln v1 = v2 bzw. R(v1 , . . . vn ) wahlt, sieht man, da
in diesem Fall h tatsachlich eine Einbettung sein mu. Die obige Bedingung be-
sagt also gerade, da das Bild h[A] eine elementare Substruktur von B ist; durch
Identifizieren kann man dann also A 4 B erreichen.
Diese Begriffe kann man auch mit Hilfe des Diagramms charakterisieren; der
Beweis des fruheren Diagrammlemmas 3.4.1 lat sich namlich leicht erweitern:
10.2. D IAGRAMMLEMMA (F ORTSETZUNG ) 181
Es sei A eine L-Struktur, (B, (aB )aA ) eine LA -Struktur und h : A B definiert
durch h(a) = aB . Dann gilt:
(i) (B, (h(a))aA ) |= D(A) h : A B ist eine Einbettung,
(iv) BA |= DL (A) A 4 B,
(v) AA BA A 4 B.
Satz
Es sei A B und fur beliebige a1 , . . . an A, b B existiere ein Automorphismus
Beispiele
1. (Q, <) 4 (R, <) (wende obigen Satz an!) und somit auch (Q, <) (R, <).
B 4 A und card(B) = .
Wie im ersten Schritt lat sich Ai+1 aus Ai gewinnen, ohne da die Kardinalitat
sich a ndert. Schlielich setzen wir
[
B := Ai
iN
und erhalten eine Menge B mit A0 B A und card(B) = . Beim ersten Schritt
mussen wir die Konstanten von A bereits aufgenommen haben (mit (*) fur die
Formel v0 (v0 = c)) und in allen weiteren Schritten unter den Funktionen von
A abgeschlossen haben (entsprechend der Formel v0 (v0 = F(v1 , . . . , vn )), so da
B das Universum einer Unterstruktur B von A ist. Schlielich gilt B 4 A, weil
unsere Konstruktion gerade so eingerichtet ist, da das Kriterium von TARSKI -
VAUGHT anwendbar ist.
Folgerungen
1. Ist A eine L-Struktur und card(L) eine Kardinalzahl, so gibt es eine
Struktur B mit card(B) = und
2. Insbesondere hat jede Theorie T, die ein unendliches Modell besitzt, fur
jede Kardinalzahl card(L) ein Modell der Kardinalzahl .
Zusammenfassung
Mit fruheren Ergebnissen erhalten wir:
1. Hat eine vollstandige Theorie ein endliches Modell, so sind also alle Mo-
delle dieser Theorie isomorph (zu diesem einen Modell).
2. Hat eine Theorie beliebig groe endliche Modelle, so nach 3.3.2 auch ein
unendliches Modell.
3. Fur eine Theorie T mit einem unendlichen Modell gibt es Modelle in jeder
Machtigkeit card(L), wobei L die Sprache der Theorie T ist.
Ist eine Theorie T -kategorisch fur ein card(L) und besitzt T nur unendliche
Modelle, so ist T vollstandig.
Beweis: Gegeben seien zwei Modelle A, B von T, von denen wir zeigen mussen,
da sie elementar-aquivalent sind. Da sie unendlich sind, kann man nach den
Satzen von L OWENHEIM -S KOLEM -TARSKI zu elementaren Erweiterungen (bzw.
Substrukturen) A , B dieser Strukturen u bergehen, die dann dieselbe Machtigkeit
0 0
Kapitel 11
Durchschnitt
Es sei (Ai )iI eine Familie von Substrukturen einer Struktur A. Dann ist der
Durchschnitt iI |Ai | entweder 0/ oder Grundbereich einer Substruktur von A,
T
Denn sind die Bedingungen (i) und (ii) von Satz 2.2.2 fur alle |Ai | erfullt, so
auch fur deren Durchschnitt. - Wichtiger als der Durchschnitt ist die
Vereinigung
Es sei wieder (Ai )iI eine Familie von Substrukturen einer Struktur A. Dann er-
zeugt die Vereinigungsmenge iI |Ai | eine Substruktur von A, die mit iI Ai
S S
Interessanter ist der Fall, da fur eine vorgegebene Familie von Strukturen ei-
ne gemeinsame Oberstruktur nicht vorhanden ist, sondern erst gebildet werden
soll. Dazu mussen aber die Strukturen bestimmte Vertraglichkeitsbedingungen
erfullen.
11.1. S ATZ UBER K ETTEN VON S TRUKTUREN 186
Eine Familie (Ai )iI von L-Strukturen bildet eine Kette, wenn je zwei Strukturen
miteinander vergleichbar sind in dem Sinne, da von zwei Strukturen jeweils eine
Struktur eine Substruktur der anderen ist:
iI Ai
S
Die Vereinigung einer Kette konnen wir wie folgt definieren:
wobei es wegen (K) auf die Auswahl des gewahlten i nicht ankommt, a hnlich im
Falle der Funktionszeichen. Die Individuenkonstanten werden wegen (K) in allen
Ai durch dasselbe Element interpretiert (und damit auch in der Vereinigung).
11.1 Satz uber Ketten von Strukturen
Ist A = iI Ai
S
die Vereinigung der Kette (Ai )iI , so gilt:
(iii) Ist (Ai )iI eine elementare Kette, so gilt Ai 4 A fur jedes i I.
(Kettenlemma von Tarski)
In den meisten Fallen (wie auch in den folgenden Beispielen) kann man sich
auf aufsteigende -Ketten von Strukturen beschranken; in diesen Fallen ist die
Indexmenge I = = N und es gilt:
n < m An Am .
Beispiele
1. Es sei An := [1/2n , 1] das abgeschlossene Intervall der reellen Zahlen, An =
(An , ) mit der gewohnlichen -Beziehung auf den reellen Zahlen. Dann
ist die Vereinigung dieser Strukturen das halb-offene Intervall (A, ) mit
A = (0, 1].
Beispiele
1. xy (x y x 6= y) (Unbeschranktheit nach oben) ist ein -Satz, nicht
aber xy x y (Existenz eines kleinsten) bzw. xy y x (Existenz eines
groten Elementes).
Ketten
Erhaltungssatz fur
Ist A = iI Ai die Vereinigung der Kette (Ai )iI , so gilt fur jeden -Satz :
S
Ai |= fur alle i I = A |= .
Ai |= [a1 , . . . , an , b1 , . . . , bm ].
A |= y1 . . . ym [a1 , . . . , an , b1 , . . . , bm ].
Das obige Ergebnis ist optimal: Eine Theorie heie induktiv gdw sie abge-
schlossen ist unter Vereinigungen von Ketten, d. h. ist (Ai )iI eine Kette von Mo-
dellen von T, so ist auch die Vereinigung iI Ai ein Modell von T.
S
Eine Theorie T ist induktiv gdw sie ein Axiomensystem aus -Satzen besitzt.
Beim Beweis (den wir hier nicht ausfuhren konnen) wird fur die Induktivitat
von T nur die Abgeschlossenheit unter aufsteigenden -Ketten benotigt, hieraus
folgt dann also schon die Abgeschlossenheit unter beliebigen Ketten!
Zahlreiche algebraische Theorien sind induktiv: die Theorie der (A BELschen)
Gruppen, der Ringe, der (reell- bzw. algebraisch-abgeschlossenen) Korper, der
Vektorraume, etc.
189
Kapitel 12
Wahrend sich die Vereinigung einer Familie von Strukturen nur unter geeigne-
ten Vertraglichkeitsbedingungen sinnvoll definieren lat, kann man das (direkte)
Produkt stets bilden. Dazu erinnern wir an den Begriff der Familie von Mengen:
Das mengentheoretische Produkt einer Familie (Ai )iI ist eine Verallgemeine-
rung des endlichen Cartesischen Produktes:
Beispiele
1. Ist R der gewohnliche Vektorraum u ber den reellen Zahlen, so ist Rn das n-
fache direkte Produkt (die n-te Potenz) von R, denn die Operationen werden
nach P3 komponentenweise erklart. Allgemeiner ist das direkte Produkt von
Gruppen wieder eine Gruppe.
2. Das direkte Produkt A A der linearen Ordnungen A = (R, <) ist jedoch
nur eine partielle Ordnung, denn nach P2 werden die Relationen im Pro-
dukt ebenfalls komponentenweise erklart, was in diesem Fall aber bedeu-
tet, da etwa die Paare (0, 1) und (1, 0) in der Ordnungsrelation des Pro-
duktes unvergleichbar sind. Ebenso ist das direkte Produkt des Korpers der
reellen Zahlen mit sich kein Korper, da im Produkt Nullteiler auftauchen:
(0, 1) (1, 0) = (0, 0) bei komponentenweiser Multiplikation!
Da sich nicht alle Eigenschaften von allen Strukturen auf das direkte Produkt
u bertragen lassen, wird man versuchen, die Eigenschaften von sehr vielen Struk-
turen zu erhalten. Der Begriff von sehr vielen Elementen von I (oder von einer
sehr groen Teilmenge von I) wird durch den Begriff des Filters umschrieben:
12.2. F ILTER UND U LTRAFILTER 191
(F1) 0/ 6 F und I F,
(F2) A F und A B I = B F,
(F3) A, B F = A B F.
Ultrafilter haben besonders schone Eigenschaften, die sie fur die Logik inter-
essant machen: Ist U Ultrafilter auf I, so gilt fur alle A, B I:
(U1) A 6 U I\A U,
(U2) A U B U A B U,
(U2) A U B U A B U.
2. Hat I = {a, b} zwei Elemente a 6= b, so gibt es auf I die Filter {I}, {{a}, I}
und {{b}, I}; die letzten beiden sind Hauptultrafilter, {I} ist zwar Hauptfil-
ter, aber kein Ultrafilter. Allgemeiner ist auf einer endlichen Menge I jeder
Filter ein Hauptfilter (erzeugt vom Durchschnitt der endlich-vielen Elemen-
te des Filters).
ein Filter auf M, der kein Hauptfilter (und auch kein Ultrafilter) ist und
welcher im Falle M = N F R E CHET-Filter genannt wird. Ultrafilter, die den
obigen Filter erweitern, konnen keine endlichen Mengen als Elemente ent-
halten und sind somit freie Ultrafilter.
Die Existenz von freien Ultrafiltern auf unendlichen Mengen ist nicht trivial;
allgemeiner gilt fur Mengen E mit der finite intersection property (endliche-
Durchschnitts-Eigenschaft)
(fip) Jeder Durchschnitt von endlich-vielen Elementen aus E ist 6= 0:
/
(i) Ist E P(I) eine Menge mit der Eigenschaft (fip), so existiert ein Ultrafilter
U auf I mit E U. Insbesondere:
Es sei F ein Filter auf der Menge I und (Ai )iI eine Familie von L-Strukturen.
Fur a, b A = i I Ai setzen wir
a F b : {i I | ai = bi } F
(wir konnen es lesen als a ist - bezuglich F - fast u berall gleich b) und erhalten
eine Aquivalenzrelation auf A; mit aF oder a/F bezeichnen wir die zugehorige
Aquivalenzklasse, und fur endliche Folgen a = (a0 , . . . , an ) schreiben wir auch
kurz a/F = (a0 /F, . . . , an /F).
Das reduzierte Produkt A/F = i I Ai /F wird nun wie folgt definiert:
12.5. S ATZ VON O S 193
(wie speziell oben im Falle der Gleichheitsrelation =). (Naturlich mu man nach-
prufen, da die obige Definition korrekt ist, d. h. da sie nur von den Aquivalenz-
klassen (und nicht von deren Reprasentanten) abhangig ist.) Sind alle Strukturen
Ai = A, so spricht man von einer reduzierten Potenz A, ist der Filter F ein Ul-
trafilter, von einem Ultraprodukt bzw. einer Ultrapotenz.
Wir kommen nun zum fundamentalen Satz u ber Ultraprodukte:
I sei eine nichtleere Menge und U ein Ultrafilter auf I. Ferner sei (Ai )iI eine
Familie von L-Strukturen und A = i I Ai das Produkt.
Dann gilt fur alle L-Formeln und alle Belegungen a:
d. h. eine Formel gilt im Ultraprodukt gdw sie (fur die entsprechenden Kompo-
nenten) in fast allen Faktoren gilt.
Zum Beweis des Satzes von os fuhren wir folgende Bezeichnung ein: Fur
eine L-Formel (v0 , . . . , vn1 ) und ein n-Tupel a von Elementen aus A heit
Lemma
(i) k(a)k = I\k(a)k,
(iv) Fur alle (n-1)-Tupel a von Elementen aus A und fur alle b A gilt:
Beweis: (i) - (iii) und der erste Teil von (iv) folgen direkt aus der Definition der
Booleschen Ausdehnung (und des Wahrheitspradikates). Um den letzten Teil zu
beweisen, beachten wir, da es zu jedem
fur jedes andere j I\k(vn )(a)k wahlen wir irgendein b j A j aus und erhalten
damit eine Folge b = (bi )iI mit b A, fur die auch
gelten mu. Zusammen mit dem ersten Teil ergibt sich also hier die Gleichheit.
Somit haben wir die Behauptung auch fur = bewiesen. Ahnlich argu-
mentiert man im Falle der aussagelogischen Zeichen und . Sei nun schlielich
= vn . Dann gilt
Korollar
I sei eine nichtleere Menge, U ein Ultrafilter auf I und A sei eine L-Struktur. Dann
gibt es eine kanonische Einbettung
(welche also jedem Element aus A die konstante Folge (a,a,. . . ) zuordnet), und es
gilt:
(ii) A AI /U.
Beispiele
1. Fur einen Hauptultrafilter sind die obigen Ergebnisse trivial: Wird U durch
{ j} erzeugt, so ist das Ultraprodukt A = i I Ai isomorph zu A j , die ka-
nonische Einbettung des Korollars ein Isomorphismus.
12.6. KOMPAKTHEITSSATZ 196
3. Fur eine Primzahl p sei F p der Primkorper der Charakteristik p, U ein frei-
er Ultrafilter auf der Menge P der Primzahlen. Dann ist das Ultraprodukt
p P F p /U ein Korper der Charakteristik 0, denn fur die Aussage p , wel-
che ausdruckt, da ein Korper die Charakteristik p hat, gilt:
{i P | Fi |= p } = {p} 6 U.
12.6 Kompaktheitssatz
Fur jede Theorie T und jeden Satz der Sprache von T gilt:
Beweis von (ii): sei die Menge der Axiome von T, wobei wir annehmen konnen,
da alle Formeln in Satze sind (sonst ersetze man sie jeweils durch ihren univer-
sellen Abschlu). Nach Voraussetzung gibt es fur jedes endliche ein Modell
A |= ; wir wahlen also als Indexmenge
I := { | , endlich}
und werden ein Modell von als ein Ultraprodukt finden fur einen geeigneten
Ultrafilter auf I. Dazu definieren wir fur jeden Satz die Menge
1 , . . . , n E = {1 , . . . , n } 1 . . . n ,
12.6. KOMPAKTHEITSSATZ 197
A = A /U |= :
I
= = A |= .
Somit
{ I | A |= }, und wegen
U ist auch die Obermenge
{ I | A |= } U.
2. K ist eine EC-Klasse genau dann, wenn K und das Komplement von K
EC -Klassen sind.
Kapitel 13
Modellvollstandigkeit
Definition
(1) Eine Theorie T heit modellvollstandig gdw
Mit Hilfe des Diagrammlemmas 10.2 ergibt sich, da eine Theorie T modell-
vollstandig ist gdw
Insbesondere folgt aus dem Kettenlemma 11.1 und dem Satz 11.2 von C HANG -
O S -S ZUSKO, da jede modellvollstandige Theorie induktiv ist, also ein Axio-
mensystem aus -Satzen besitzt.
(2) Ein Modell P |= T einer Theorie T heit Primmodell von T gdw es sich in
jedes Modell von T einbetten lat.
3. In der Algebra wird der Begriff des Primkorpers eingefuhrt: dieser ist ein
Primmodell in obigem Sinne, und zwar ist der Korper Q der rationalen Zah-
len ein Primmodell der Theorie der Korper der Charakteristik 0, wahrend
199
4. Der Korper der reellen algebraischen Zahlen ist Primkorper der Theorie
TRCF der reell-abgeschlossenen Korper, diese Theorie ist modellvollstandig
und somit vollstandig.
5. Der Korper der algebraischen Zahlen ist Primkorper der Theorie der alge-
braisch-abgeschlossenen Korper der Charakteristik 0. Die Theorie TACF der
algebraisch-abgeschlossenen Korper (ohne Festlegung der Charakteristik)
ist zwar modellvollstandig, aber nicht vollstandig.
Definition
T sei eine Theorie der Sprache L, A eine L-Struktur.
T |= .
A |= [a1 , . . . an ] B |= [a1 , . . . an ].
4. ET := {A | A T- e.c.}.
13.1. ROBINSONSCHER T EST 200
(v) fur alle A, B |= T gilt: Ist f : A B eine Einbettung, so ist f eine elemen-
tare Einbettung.
(vi) Mod(T) = ET .
Hierin ist (iv) das eigentliche Test-Kriterium, das insbesondere fur Anwen-
dungen auf algebraische Theorien noch etwas abgeschwacht werden kann.1
Um ein Kriterium fur die vollstandige Elimination von Quantoren zu erhalten,
mu man die Eigenschaft der Modellvollstandigkeit verstarken:
Definition
Eine Theorie T heit substrukturvollstandig gdw
Satz
Fur eine Theorie T sind folgende Aussagen a quivalent:
Beispiele
1. Die Theorie TACF der algebraisch-abgeschlossenen Korper ist modellvoll-
standig, legt man auch die Charakteristik fest, so ist sie vollstandig.
3. Die Theorie der Vektorraume u ber den rationalen Zahlen ist modellvollstan-
dig (eine -Aussage u ber eine Konjunktion von Basisformeln besagt in die-
sem Falle die Losbarkeit eines Systems von linearen Gleichungen und Un-
gleichungen).
4. Die Theorie der Gleichheit (also ohne nicht-logischen Axiome!) ist weder
vollstandig noch modellvollstandig. Sie erlaubt auch keine Quantoreneli-
mination, allerdings ist in dieser Theorie jede Formel a quivalent zu einer
aussagenlogisch aus Anzahlformeln und den Formeln vi = v j zusammenge-
setzten Formel.
5. Die Theorie DLO + OE der dichten linearen Ordnungen ohne Endpunkte ist
vollstandig, modellvollstandig und erlaubt Quantorenelimination.
DLO + OE,
die Theorie des (angeordneten) Korpers der reellen Zahlen (= Theorie der
reell-abgeschlossenen Korper) und
die Theorie des Korpers der komplexen Zahlen (= Theorie der algebraisch-
abgeschlossenen Korper der Charakteristik 0)
vollstandig und entscheidbar. Dagegen ist dagegen die Theorie der naturlichen
Zahlen Th(N, +, , 0, 1) unentscheidbar. Naher gehen wir hierauf in den abschlie-
enden Kapiteln ein.
202
Teil IV
Unvollstandigkeit und
Unentscheidbarkeit
203
In diesem Teil gehen wir aus von den naturlichen Zahlen als algebraische
Struktur mit den Operationen der Addition und Multiplikation und zusatzlicher
Ordnung. Als Axiomensystem fur die elementaren Eigenschaften dieser Struktur
haben wir bereits das Axiomensystem von G. P EANO erwahnt und gesehen, da
es nicht ausdrucksstark genug ist, um die Struktur der naturlichen Zahlen bis auf
Isomorphie festzulegen. Tatsachlich ist es sogar nach einem beruhmten Satz von
K. G ODEL unvollstandig, und wir werden sehen, da dieses Problem sich auch
durch die Hinzunahme weiterer Axiome nicht beseitigen lat.
Dazu werden wir mit den Methoden der mathematischen Logik Pradikate und
Funktionen naturlicher Zahlen nach ihrer Komplexitat klassifizieren, insbesondere
den Begriff der Berechenbarkeit und der Entscheidbarkeit prazisieren, um damit
Moglichkeiten und Grenzen der Beweisbarkeit fur mathematischer Theorien, vor
allem fur die Zahlentheorie und auch die Logik selbst aufzuzeigen.
Eine ausfuhrlichere Darstellung der Theorie der Berechenbarkeit findet man
im Skriptum
K. Ambos-Spies: Theoretische Informatik
(http://www.math.uni-heidelberg.de/logic/skripten.html).
205
Kapitel 14
Berechenbare Funktionen
14.1 Turing-Maschinen
Eine TURING-Maschine M besitzt als Speicher ein nach beiden Seiten unbe-
schranktes Band, das in unendlich viele Felder eingeteilt ist. Jedes Feld kann
einen Buchstaben aus dem endlichen Alphabet s1 , . . . , sn der Maschine M auf-
nehmen. Dabei sind zu jedem Zeitpunkt nur endlich viele Felder belegt, wobei
wir vereinbaren konnen, da die leeren Feldern durch ein zusatzliches Symbol s0
gekennzeichnet sind. Der Zugriff auf das Speicherband erfolgt durch einen kom-
binierten Lese- und Schreibkopf von der Groe eines Feldes. Das Feld, auf das der
Kopf zeigt, heit das Arbeitsfeld. Dieses Feld kann eingelesen und neu beschriftet
werden. Weiterhin kann sich der Kopf um ein Feld nach links oder rechts bewe-
gen. Durch Wiederholung dieser elementaren Operationen kann also jede Stelle
des Bandes besucht, die dort stehende Information gelesen und gegebenenfalls
ersetzt oder erganzt werden. Auerdem ist M zu jedem gegebenen Zeitpunkt in
einem von endlich-vielen Zustanden q1 , . . . , qr , die Einflu auf das Verhalten von
M haben.
Es gibt somit 3 Typen von Operationen, genannt Anweisungen, die M ausfuh-
ren kann, wenn M im Zustand qi u ber einem Feld steht, in dem das Zeichen s j
eingetragen ist, und die wie folgt bezeichnet werden:
Beispiel:
Das Alphabet von M bestehe aus den Symbolen 0, 1 (und x fur ein leeres Feld),
mogliche Zustande seien q1 , q2 . Das Programm P bestehe aus den folgenden 4
Anweisungen:
q1 0 R q1
q1 1 0 q2
q2 0 R q2
q2 1 R q1
Anfangs stehe M im Zustand q1 u ber dem ersten Feld des Bandes, das von hier
ab weitere n aufeinander folgende Felder mit dem Symbol 1 enthalt, wahrend die
u brigen Felder leer sind:
... x x x 1 1 1 1 1 1 x x x ...
Folgt M den obigen Anweisungen, so kann es diese ausfuhren, bis der folgende
Endzustand erreicht ist:
... x x x 0 1 0 1 0 1 x x x ...
Wir wollen nun erklaren, wie eine T-Maschine mit vorgegebenen Programm
eine Funktion berechnet. Da es vorkommen kann, da Rechnungsprogramme bei
Anwendungen auf bestimmte Anfangswerte moglicherweise nicht stoppen (weil
sie z. B. in eine Schleife geraten), werden wir jetzt statt totaler Funktionen f :
Nk N auch partielle Funktionen zulassen:
Definition
f ist eine partielle k-stellige Funktion auf den naturlichen Zahlen gdw
f : D N fur eine Teilmenge D Nk .
14.2. URM- BERECHENBARE F UNKTIONEN 207
TURING-berechenbare Funktionen
Zur Darstellung von Zahlen, von denen eine Rechnung ausgeht, wahlen wir s1 = 1
und benutzen es als Marke, indem n + 1 aufeinander folgende Felder mit Inhalt 1
(umgeben von Leerfeldern am Anfang und am Ende) die Zahl n darstellen. Eine
partielle Funktion f : D N wird von M berechnet, wenn M, beginnend im An-
fangszustand q1 u ber dem ersten Feld, welches die Zahl n darstellt, genau dann
u ber dem Band in einem Endzustand stoppt, wenn n D ist, und in diesem Fall
das Symbol 1 genau f (n)-mal auf dem Band im Endzustand eingetragen ist (in
obigem Beispiel ist f (5) = 3). Eine a hnliche Definition legt man im Falle mehr-
stelliger Funktionen fest.
Eine partielle Funktion f heit TURING-berechenbar genau dann, wenn es
eine T-Maschine M gibt mit einem Programm, welches f berechnet.
Beispiel:
I1 : J(1, 2, 6)
I2 : S(2)
I3 : S(3)
I4 : J(1, 2, 6)
I5 : J(1, 1, 2)
I6 : T (3, 1)
Beginnt die URM mit den Zahlen 9 im 1. und 5 im 2. Register (und 0 in allen
anderen), so erzeugt sie nach einigen Schritten die Zahl 4 im 3. Register und
landet dann bei der Anweisung I6 , welche die Zahl 4 in das 1. Register u bertragt;
da keine weitere Anweisung folgt, stoppt hier das Programm.
Es sei nun f eine partielle n-stellige Funktion auf den naturlichen Zahlen, P
ein Programm und a1 , . . . , an , b seien vorgegebene Zahlen. Dann konvergiert das
mit a1 , . . . , an beginnende Programm gegen die Zahl b, formal: P(a1 , . . . , an ) b,
gdw es nach endlich-vielen Schritten stoppt und die Zahl b im 1. Register steht.
P berechnet f gdw fur alle a1 , . . . , an , b gilt:
P(a1 , . . . , an ) b gdw f (a1 , . . . , an ) ist definiert und = b.
f ist URM-berechenbar gdw es ein Programm P gibt, welches f berechnet.
G ODEL -K LEENE (1936): -rekursive Funktionen (s.u.)
Alle diese Definitionen haben sich als formal a quivalent herausgestellt, auer-
dem ist bisher jede einzelne der (im intuitiven Sinne) berechenbaren Funktionen
auch berechenbar in dem obigen formalen Sinne, was Anla zu folgender Annah-
me gegeben hat:
Churchsche These: Die (intuitiv) berechenbaren Funktionen sind genau die (in
einem der obigen Sinne) formal berechenbaren Funktionen.
14.4 Aufzahlbarkeitssatze
Auch die folgenden Pradikate sind nicht entscheidbar (d. h. ihre charakteri-
stischen Funktionen sind nicht berechenbar):
n (n) ist definiert, n ist totale Funktion, n ist die konstante Funktion 0,
n = m , das n-te Programm mit Eingabe n (allgemeiner mit Eingabe m)
stoppt nach endlich-vielen Schritten (das Halteproblem).
Anfangsfunktionen
R1 0(x) = 0 Nullfunktion
R2 S(x) = x + 1 Nachfolgerfunktion
R3 Pin (x1 , . . . , xn ) = xi i-te Projektion
Substitution
R4 f (~x) ' h(g1 (~x), . . . , gk (~x))
Wichtig ist nun das folgende Prinzip - nach diesem Muster werden namlich
die arithmetischen Operationen Addition, Multiplikation und Potenz gebildet:
Primitive Rekursion
R5 f (~x, 0) ' g(~x)
f (~x, y + 1) ' h(~x, y, f (~x, y))
x+y Summe
xy Produkt
xy Potenz
max(x, y) Maximum
min(x, y) Minimum
|x y| absolute Differenz
(
xy falls x y,
=
xy Differenz auf N
0 sonst
14.5. P RIMITIV- REKURSIVE F UNKTIONEN 211
(
0 falls x = 0,
sg(x) = Signum, Vorzeichen
1 falls x > 0
(
1 falls x = 0,
sg(x) = Antisignum, negiertes Vorzeichen
0 falls x > 0
Abschlueigenschaften
Primitiv-rekursive Funktionen sind abgeschlossen unter
(i) Fallunterscheidung:
wobei (
das kleinste y < z mit R(~x, y) falls ein solches existiert
y < z R(~x, y) =
z sonst.
Ein Beispiel einer berechenbaren, aber nicht p.r. Funktion ist die
A(0, y) = y + 1
A(x + 1, 0) = A(x, 1)
A(x + 1, y + 1) = A(x, A(x + 1, y))
Es handelt sich hier um eine doppelte Rekursion, trotzdem kann man leicht
nachprufen, da sich jeder Wert A(x, y) von endlich-vielen fruheren Werten
A(u, v) mit u < x oder u = x v < y bestimmen lat. Schreiben wir Fn (m) fur
A(n, m), so erhalten wir:
F0 (m) = m + 1
F1 (m) = m + 2
F2 (m) 2m
F3 (m) 2m
2
..
2.
F4 (m) 2 (m mal)
sehr schnell wachst. Tatsachlich majorisiert sie jede p.r. Funktion: Ist f eine k-
stellige p.r. Funktion, so gibt es eine Zahl n mit
f (x1 , . . . , xk ) Fn (max(x1 , . . . , xk ))
fur alle x1 , . . . , xk . Somit kann die 2-stellige Funktion A nicht p.r. sein (obwohl
andererseits alle Fn p.r. sind!). Da die ACKERMANNsche Funktion trotzdem be-
rechenbar ist, ersieht man daraus, da sie aus einer p.r. Funktion erhalten werden
kann mittels
Minimalisierung
R6 f (~x) ' y (g(~x, y) ' 0),
d. h.
das kleinste y so da
(i) g(~x, z) definiert ist fur alle z y und
f (~x) =
(ii) g(~x, y) = 0, falls ein derartiges y existiert,
undefiniert sonst.
Dieses Prinzip kann von totalen zu partiellen Funktionen fuhren (z. B. fur
g(x, y) = |x y2 |). Die Klasse R (oder C) aller rekursiven Funktionen ist die
kleinste Klasse von Funktionen, die die Anfangsfunktionen enthalt und abge-
schlossen ist unter Substitution, primitiver Rekursion und Minimalisierung. Man
spricht mitunter auch von allgemein-rekursiven, -rekursiven Funktionen oder
(auf Grund der C HURCHschen These) von den berechenbaren Funktionen (C =
computable functions). Von rekursiven Funktionen werden wir vorwiegend im
Falle totaler berechenbarer Funktionen sprechen.
Jede p.r. Funktion ist also auch eine rekursive Funktion (wahrend die ACKER -
MANN sche Funktion ein Beispiel f ur eine rekursive, aber nicht p.r. Funktion ist),
und die Abschlueigenschaften der p.r. Funktionen gelten (geeignet modifiziert
fur partielle Funktionen) auch fur rekursive Funktionen.
Definition
Eine zahlentheoretische Relation R Nk heit primitiv-rekursiv bzw. rekur-
siv (oder auch: entscheidbar) gdw ihre charakteristische Funktion cR primitiv-
rekursiv bzw. rekursiv ist, wobei
(
1 falls R(~x),
cR (~x) =
0 sonst.
14.7. PARTIELLE E NTSCHEIDBARKEIT 214
Eine Relation R Nk heit partiell- (oder positiv-) entscheidbar bzw. r.e. gdw.
sie Definitionsbereich einer berechenbaren Funktion ist:
R r.e. : R = {~x | f (~x) } fur eine berechenbare Funktion f .
In diesem Fall kann man fur f auch die partielle charakteristische Funktion von
R wahlen:
R r.e. pcR ist rekursiv,
(
1 falls ~x R,
wobei pcR (~x) =
undefiniert sonst.
Wahrend es also fur eine entscheidbare Relation R ein effektives Verfahren
gibt, welches die Frage beantwortet, ob R zutrifft oder nicht, kann man fur eine
partiell-entscheidbare Relation somit nur den Fall bestatigen, da die Relation
zutrifft. Die Bezeichnung r.e. = recursively enumerable = rekursiv-aufzahlbar,
in der neueren Literatur auch c.e. = computably enumerable, erklart sich aus der
folgenden Charakterisierung:
Eine nicht-leere Teilmenge A N ist partiell entscheidbar gdw sie Wertebe-
reich einer rekursiven Funktion ist, also von einer rekursiven Funktion aufgezahlt
wird:
A r.e. A = 0/ A = { f (x) | x N} fur eine rekursive Funktion f : N N.
Jede rekursive Relation ist auch r.e.; die Umkehrung gilt, wenn auch das Kom-
plement r.e. ist:
A Nk ist entscheidbar gdw A und Nk A sind r.e.
Ist wieder n die n-te berechenbare Funktion (in einer geeigneten effektiven
Aufzahlung), so sind die Mengen
{n | n (n) } r.e., aber nicht rekursiv, wahrend
{n | n (n) } nicht einmal r.e. ist.
Von besonderer Bedeutung wird spater sein, da fur Theorien T mit einer rekursi-
ven Menge von Axiomen die Folgerungsmenge C(T) = { | T ` } r.e. ist. Insbe-
sondere ist also eine rekursiv-axiomatisierbare vollstandige Theorie entscheidbar!
215
Kapitel 15
Definierbarkeit berechenbarer
Funktionen
A1 (x + y) + z = x + (y + z) A6 x + 0 = x x 0 = 0
A2 (x y) z = x (y z) A7 x1 = 1
A3 x+y = y+x
A4 xy = yx
A5 x (y + z) = x y + x z
Dabei benutzen wir die in der Algebra u blichen Klammeregeln ( bindet starker
als +). Fur die <-Beziehung gelten die Gesetze einer linearen Ordnung, welche
mit Addition und Multiplikation vertraglich ist:
A8 x<x
A9 x < yy < z x < z
15.1. E INE ENDLICH - AXIOMATISIERBARE T EILTHEORIE VON PA 216
A13 x < y z (x + z = y)
und schlielich ist 1 ist der Nachfolger von 0 und 0 das kleinste Element (wobei
wie u blich x y : x = y x < y):
Aus den letzten Axiomen folgt, da allgemeiner x + 1 der Nachfolger von x ist
und damit die Ordnung diskret ist:
2. Die Menge Z[X] der Polynome in einer Unbestimmten X und mit ganz-
zahligen Koeffizienten ist mit den u blichen Operationen ein kommutati-
ver Ring. Man kann diesen Ring ordnen, indem man fur ein Polynom p =
an X n + . . . a1 X + a0 mit hochstem Koeffizienten an 6= 0 setzt:
an X n + . . . a1 X + a0 > 0 : an > 0
In einem Ring liegt bezuglich der Addition eine Gruppe vor, wahrend A13 nur
eine eingeschrankte Inversenbildung zulat. Ersetzt man in PA die Axiome A13
und A15 durch das Axiom
15.2. A RITHMETISCHE F ORMELN 217
A16 x z (x + z = 0)
so erhalt man die algebraische Theorie DOR der diskret geordneten Ringe, deren
Modelle z. B. die Ringe Z und Z[X] sind. Jedes Modell M von PA kann man
zu einem Modell R der Theorie DOR erweitern (nach demselben Muster, wie
man die naturlichen Zahlen zum Ring der ganzen Zahlen erweitert), so da die
nicht-negativen Elemente von R mit dem ursprunglichen Modell u bereinstimmen.
Umgekehrt ist auch fur jedes Modell R der Theorie DOR die Einschrankung auf
die nicht-negativen Elemente ein Modell von PA , so da man PA als Theorie
(des nicht-negativen Teils) diskret geordneter Ringe bezeichnen kann.
und nennen x < t und x < t beschrankte Quantoren. Endliche Folgen von Va-
riablen kurzen wir durch ~x,~y, . . . ab.
Definition
ist 0 -Formel: enthalt hochstens beschrankte Quantoren,
ist 1 -Formel: = ~x fur eine 0 -Formel ,
ist 1 -Formel: = ~x fur eine 0 -Formel ,
Dieses ist der Anfang der Hierarchie der arithmetischen Formeln; setzt man
0 = 0 = 0 ,
Eine 3 -Formel ist also von der Form ~x ~y ~z , wobei hochstens be-
schrankte Quantoren enthalt. Das bedeutet also, da man beschrankte Quantoren
15.3. E NDERWEITERUNGEN 218
nicht mitzahlt, mit bzw. anzeigt, da die Formel mit einer (endlichen) Folge
von -Quantoren bzw. -Quantoren beginnt und der Index die Quantorenblocke
zahlt. Es kommt also weniger auf die Anzahl der Quantoren an als die Anzahl der
Quantorenwechsel.
Bei dieser Klassifizierung unterscheidet man nicht zwischen logisch a quiva-
lenten Formeln, so da etwa jede n -Formel fur n < m auch eine m - und m -
Formel ist (indem man der Formel einfach zusatzliche Quantoren u ber nicht vor-
kommende Variablen voranstellt). Somit kann man dann auch die Formelmengen
n = n n
definieren. Es ergibt sich daraus folgendes Bild der arithmetischen Hierarchie:
1 2
@ @
@@ @
@
0 1 2 3 ......
@ @ @
@
@ 1 @
@ 2 @@
15.3 Enderweiterungen
Bereits bei der Behandlung von Nonstandard-Modellen von PA hatten wir be-
merkt, da sich das Standardmodell in jedes andere Modell von PA einbetten lat.
Diese Eigenschaft gilt auch fur die Modelle von PA :
15.3. E NDERWEITERUNGEN 219
Definition
L sei eine Sprache, welche ein 2-stelliges Symbol < enthalte, M und N seien L-
Strukturen mit M N. Dann heit N Enderweiterung von M (und entsprechend
M Anfangssegment von M) genau dann, wenn die groere Menge N unterhalb
eines Elementes von M kein weiteres hinzufugt:
Jede naturliche Zahl n wird im Standardmodell, das wir hier auch einfach mit
N bezeichnen, durch den konstanten Term
n = 1+...+1 (n-mal)
Satz
Es sei M |= PA . Dann wird durch die Abbildung n 7 nM eine Einbettung des
Standardmodells N auf ein Anfangssegment von M definiert.
Insbesondere ist (mittels Identifizierung) jedes Modell von PA isomorph zu
einer Enderweiterung des Standardmodells N.
Beweis: Durch einfache Induktion zeige man fur alle naturlichen Zahlen n, k, l:
n = k + l = PA ` n = k + l
n = k l = PA ` n = k l
n < k = PA ` n < k
PA ` x ( x k x = 0 . . . x = k)
Die ersten 3 Aussagen werden wir spater fur alle rekursiven Funktionen bzw. Re-
lationen verallgemeinern; aus ihnen folgt, da die Abbildung n 7 nM ein Homo-
morphismus und wegen der letzten Aussage eine Einbettung auf ein Anfangsseg-
ment von M ist.
15.4. E RHALTUNGSEIGENSCHAFTEN UNTER E NDERWEITERUNGEN 220
N |= [~a] M |= [~a],
N |= [~a] = M |= [~a],
M |= [~a] = N |= [~a],
N |= [~a] M |= [~a].
Beweis von (i) durch Induktion u ber den Formelaufbau von (~v), wobei nur der
Fall eines beschrankten Quantors von Interesse ist. Da aber M Enderweiterung
von N ist, werden von M unterhalb eines Elementes von N keine neuen Elemente
eingefugt, so da ein beschrankter Quantor in beiden Strukturen dasselbe besagt.
Wir wollen nun zeigen, da die rekursiven Relationen mit den Mengen u ber-
einstimmen, die sich durch eine 1 -Formeln in den naturlichen Zahlen definieren
lassen, und da der Graph einer rekursiven Funktion durch eine 1 -Formeln in
den naturlichen Zahlen definiert werden kann. Mit N bezeichnen wir im folgen-
den auch das Standardmodell (N, +, ,0 , 0, 1).
15.5 Lemma
R(~a) N |= (~a)
primitiv-rekursiv.
15.5. L EMMA 221
Beweis: Wir zeigen durch Induktion u ber lz( ), da die zugehorige charakteristi-
sche Funktion
(
1 falls N |= (~x)
c (~x) =
0 sonst
primitiv-rekursiv ist: Zunachst sind die Funktionen x + 1, x + y, x y p.r. und damit
definiert jeder Term in N eine primitiv-rekursive Funktion. Da auch die Funktio-
nen eq(x, y) = sg(|xy|) und sg(yx) primitiv-rekursiv sind (und die p.r. Funktio-
nen abgeschlossen sind unter Substitution), gilt die Behauptung fur die atomaren
Formeln t = s,t < s. Fur den Fall der aussagenlogischen Operationen benutze man
(~x), c (~x) = min(c (~x), c (~x)), c (~x) = max(c (~x), c (~x)).
c (~x) = 1c
Ist schlielich eine 0 -Formel, t ein Term und (~x) = y < t(~x) (~x, y), so folgt
die Behauptung aus
c (~x) = eq(t(~x), (y < t(~x)(c (~x, y) = 0)).
Ahnlich argumentiert man im Falle der Formel y < t(~x) (~x, y) (oder fuhrt diesen
Fall mittels der Negation auf den fruheren zuruck).
Die Umkehrung des obigen Lemmas gilt nicht: es gibt primitiv-rekursive Men-
gen, die durch keine 0 -Formel in den naturlichen Zahlen definierbar sind. - Da-
gegen kann man die folgenden Pradikate und Funktionen als p.r. nachweisen:
x|y: z y (x z = y) x teilt y
P(x): u x (u|x u = x u = 1) x ist Primzahl
pn = (n + 1)te Primzahl : p0 = 2, p1 = 3, p3 = 5, p4 = 7, p5 = 11 . . .
Damit konnen wir endliche Mengen naturlicher Zahlen durch Zahlen codieren,
z. B.
(n0 , n1 , . . . , nk ) durch pn00 +1 pn11 +1 . . . pnk k +1 .
Definieren wir fur x, y N
(x + y)(x + y + 1)
hx, yi := + y,
2
so erhalten wir eine Paarfunktion N2 N, die man durch Iteration erweitern
kann, indem man
hx1 , x2 , . . . xk i = hx1 , hx2 , . . . xk ii
setzt. Tatsachlich benotigen wir aber zusatzlich eine Funktion, die uniform jede
endliche Menge naturlicher Zahlen durch eine einzelne Zahl codiert:
15.6. G ODELS L EMMA 222
N |= x, y !z (x, y, z),
und die Formel (x, y, z) u ber den naturlichen Zahlen die Funktion definiert.
m + 1, 2m + 1, . . . k m + 1
Nun kann man ha, mi als Code der Folge x0 , x1 , . . . xk1 wahlen, denn hieraus
erhalt man fur jedes i < k die xi zuruck als Rest der Division von a durch die
Zahl (i + 1)m + 1. Bezeichnet rest(x : y) = z den Rest bei der Division von x durch
y (falls y 6= 0 und rest(x : 0) = 0), so ist dieses eine p.r. Funktion mit einer 0 -
Definition. Eine weitere p.r. Funktion erhalten wir durch
Bezeichnen p1 , p2 die Umkehrfunktionen der obigen Paarfunktion hx, yi, fur die
also gilt
hp1 (x), p2 (x)i = x, wobei p1 (x), p2 (x) x,
so sind auch diese p.r., und wir erhalten schlielich die Godelsche -Funktion
als
(c, i) = (p1 (c), p2 (c), i).
Fur eine partielle Funktion f bezeichne f den Graphen von f , also die Re-
lation
f (~x, y) : f (~x) = y.
REKURSIVE F UNKTIONEN
15.7. D EFINIERBARKEITSSATZ F UR 223
rekursive Funktionen
15.7 Definierbarkeitssatz fur
Eine partielle Funktion f ist berechenbar genau dann, wenn ihr Graph f u ber
den naturlichen Zahlen durch eine 1 -Formel definierbar ist, d. h. wenn es eine
1 -Formel gibt, so da fur alle ~x, y N gilt:
Beweis: Wir zeigen zunachst den einfacheren Teil (): Sei = ~z eine 1 -
Formel, welche den Graphen f einer partiellen Funktion f definiere, (~x,~z, y) al-
so eine 0 -Formel. Dann erhalten wir nach Lemma 15.5 eine berechenbare Funk-
tion g durch
Es ist dann p1 (g(~x)) das kleinste y mit N |= [~x, y], falls ein solches y existiert,
und undefiniert sonst, denn fur jedes~x N gibt es hochstens ein y mit N |= [~x, y].
Somit ist p1 (g(~x))
= f (~x), und damit ist f berechenbar.
Zum Beweis von () nennen wir partielle Funktionen f , deren Graph sich
durch eine 1 -Formel u ber den naturlichen Zahlen definieren lassen, Funktionen
mit einem 1 -Graphen und zeigen, da die Menge dieser Funktionen die Anfangs-
funktionen enthalt und unter Substitution, primitiver Rekursion und unter dem -
Operator abgeschlossen ist. Dabei beschranken wir uns auf den einzigen Schritt,
der etwas schwieriger ist und die G ODEL sche -Funktion benutzt: Die Funktion
f entstehe aus Funktionen g, h durch primitive Rekursion:
f (~x, 0) = g(~x)
f (~x, y + 1)
= h(~x, y, f (~x, y))
Dabei konnen wir annehmen, da die Graphen von g und h durch 1 -Formeln
definierbar sind. Um damit den Graphen von f zu beschreiben, beachten wir, da
sich der Wert von f (~x, y) berechnet durch die vorangegangenen Werte
die wir mittels der -Funktion durch eine einzige Zahl u codieren konnen. Wir
mussen nun aber in dieser Folge die Funktion f eliminieren, um eine explizite
Definition zu erhalten. Der erste Wert u0 ist durch den Graphen von g festgelegt ist
und die weiteren ui+1 bestimmen sich aus ui gema den Rekursionsbedingungen
mittels des Graphen von h:
15.8. R EPR ASENTIERBARKEIT 224
Der letzte Wert der obigen Folge, die durch die Zahl u codiert wird, ist der
Funktionswert von f an der Stelle (~x, y). Damit erhalten wir als Beschreibung des
Graphen von f :
Nennt man eine Menge A Nk , die durch eine Formel in u ber den naturli-
chen Zahlen definierbar ist, ein -Menge, so erhalten wir eine neue Charakterisie-
rung der ersten Stufen der arithmetischen Hierarchie:
Korollar
15.8 Reprasentierbarkeit
Ist die Funktion f (oder die Menge S) durch eine 1 -Formel reprasentierbar, so
heit f (bzw. S) 1 -reprasentierbar. Die Definition der Repasentierbarkeit ist so
gewahlt, da diese Eigenschaft erhalten bleibt, wenn man die Theorie T erweitert.
Satz
(i) Jede rekursive Funktion f : Nk N ist in PA 1 -reprasentierbar.
Beweis von (i): f : Nk N sei eine rekursive Funktion, ihr Graph f ist also u ber
den naturlichen Zahlen durch eine 1 -Formel ~z (~x, y,~z) definierbar, wobei nur
beschrankte Quantoren enthalt. Da jede Formel der Form ~z in PA a quivalent
ist zu u ~z (~z < u ), konnen wir annehmen, da~z nur eine einzelne Variable z
ist. Wir bilden nun die 0 -Formel (~x, y, z)
227
Kapitel 16
Die beiden G ODEL schen Unvollstandigkeitssatze beruhen auf
2. einem Diagonalverfahren.
16.1 Godel-Nummern
Zunachst ordnen wir jedem Term t der Sprache L von PA eine Zahl, die G ODEL
-
Nummer ptq, durch primitive Rekursion wie folgt zu:
p0q = 1
p1q = 3
pvi q = 32 5i
ps + tq = 33 5psq 7ptq
ps tq = 34 5psq 7ptq
2 3
So ist z. B. pv3 + 1q = 33 53 5 73 . Ahnlich
kann man nun den Formeln ihre
jeweilige G ODEL -Nummer zuordnen:
16.2. D IAGONALISIERUNGSLEMMA 228
ps = tq = 2 5psq 7ptq
ps < tq = 2 3 5psq 7ptq
pq = 2 32 5pq
p q = 2 33 5pq 7pq
pvi q = 2 34 5i 7pq
Naturlich gibt es auch viele andere Moglichkeiten einer Codierung; wichtig ist
hier nur, da es sich um eine berechenbare injektive Abbildung aller L-Formeln1
auf eine berechenbare Teilmenge Fml N handelt und da die die Umkehrabbil-
dung (definiert auf der Menge Fml) ist ebenfalls berechenbar ist (so da wir aus
der G ODEL -Nummer pq die Formel wieder ausrechnen konnen).
Im folgenden benotigen wir die Diagonal-Funktion d, definiert durch
(
py (y = n (y))q, falls n = p (v0 )q fur eine L-Formel (v0 )
d(n) =
0 sonst.
16.2 Diagonalisierungslemma
T sei eine L-Theorie, (v0 ) eine L-Formel mit der einen freien Variablen v0 . Falls
die Diagonalfunktion d in T reprasentierbar ist, so gibt es einen L-Satz G mit der
Eigenschaft
T ` G (pGq).
Ist d durch eine 1 -Formel in T reprasentierbar und (v0 ) eine 1 -Formel, so
kann G als 1 -Satz gewahlt werden.
und setze n := p(v0 )q. (Achtung: n ist tatsachlich eine Zahl, in welcher naturlich
die Variable v0 nicht vorkommt; dagegen geht die G ODEL -Nummer von v0 in die
Berechnung von n ein!) Fur G wahlt man nun den Satz
G := y (y = n (y)).
Dann hat also G die G ODEL -Nummer d(p(v0 )q). Ist (x, y) eine 1 -Formel und
(v) eine 1 -Formel, so sind und G (aquivalent zu) 1 -Formeln. Somit bleibt
zu zeigen, da T ` G (pGq): Es gilt offenbar
{p q | 1 1 , Satz , PA ` } T.
n T = PA ` (n),
n 6 T = PA ` (n).
PA ` (pq).
pq T PA ` (pq) PA ` pq T
pq T pq 6 T PA ` (pq) PA ` pq T,
T 6` und T 6` .
S := {p q | 1 1 , Satz , T ` }.
Jede konsistente Erweiterung T von PA hat nach dem Satz von L INDEN -
BAUM 4.9.1 eine vollstandige und konsistente Erweiterung, von denen also keine
rekursiv (d. h. entscheidbar) sein kann. Aus dem obigen Satz kann man u brigens
folgern, da jede rekursive konsistente Erweiterung von PA sogar 20 -viele Er-
weiterungen und ebenso viele abzahlbare Modelle besitzt, die nicht elementar-
a quivalent sind (s. R. K AYE : Models of Peano Arithmetic, pp. 39ff).
Mathematisch interessantere Satze, die in der P EANO-Arithmetik unabhangig
sind, erhalt man durch
Schubfachprinzip:
(1) Verteilt man n Elemente in m < n-viele Schubladen, so mu eine der Schub-
laden mindestens 2 Elemente enthalten.
Die Verallgemeinerung auf unendliche Mengen lautet:
Definition
Eine (endliche) Menge H von Ordinalzahlen heit
relativ gro card(H) min(H).
Sind n, k N, , On, so bedeute
min
()nk bzw. ()nk
da es fur jede Farbung f der n-elementigen Teilmengen von mit k Farben eine
(relativ groe) Teilmenge H vom Ordnungstyp gibt, die homogen fur f ist.
Der obige Satz von R AMSEY besagt also: n, k ()nk . Hieraus folgert
man den finitaren Satz von R AMSEY:
m, n, k r r (m)nk .
Dieser Satz u ber naturliche Zahlen lat sich in der Sprache der P EANO-Arith-
metik ausdrucken und auch beweisen; eine (anscheinend) leichte Verstarkung aber
nicht mehr: PARIS -H ARRINGTON4 haben gezeigt:
Satz
Die Aussage
min
m, n, k r r (m)nk
ist in der Mengenlehre beweisbar, nicht aber in PA (falls PA konsistent ist). Die
Existenz dieser Zahlen r kann man in PA nicht mehr allgemein zeigen, tatsachlich
fuhren sie zu sehr groen Zahlen: Ist
min
(n) = das kleinste r mit r (n + 1)nn ,
3 F.P. R AMSEY: On a problem of formal logic. Proc. London Math. Soc. (2) 30 (1929), 264-286
4A mathematical Incompleteness in Peano Arithmetic. In: Handbook of Mathematical Logic,
ed. Barwise, Elsevier 1982
16.6. Z WEITER G ODELSCHER
U NVOLLST ANDIGKEITSSATZ 233
Mit Hilfe einer G ODEL -Nummerierung kann man syntaktische Eigenschaften von
Formeln in zahlentheoretische Eigenschaften u bersetzen. Da auch Beweise end-
liche Folgen von Formeln sind, kann man auch diese durch naturliche Zahlen
codieren und L-Formeln BewT , bewbT finden, so da
(i) BewT (n, m) ausdruckt: n ist die Nummer eines Beweises einer Formel
mit der G ODEL nummer m und
(ii) bewbT (m) : n BewT (n, m) ausdruckt: m ist die G ODEL nummer einer
Formel , welche in T beweisbar ist.
T ` = T ` (p q)
T ` (p q) ( (p q) (pq))
T ` (p q) (p( (p q)q)
2. Godelscher Unvollstandigkeitssatz
T sei eine Theorie der Sprache L, fur welche ein formales Beweispradikat = T
mit den obigen Bedingungen existiere (z. B. T = PA). Dann gilt:
() T ` (pq).
() T konsistent = T 6` .
Man zeige, da sich dieser Beweis formalisieren und mit Hilfe des durch in T
formalisierten Beweispradikates darstellen lat, also
T ` ConT T (pq).
Sei nun T konsistent, also nach (**) T 6` . Dann ist wegen (*) auch T 6` (pq)
und somit auch T 6` ConT .
Dieser Satz besagt also, da man selbst mit den Mitteln der P EANO-Arithme-
tik keinen Beweis der Konsistenz dieser Theorie finden kann (ein Beweis der
Konsistenz einer Theorie T wurde u berdies nur u berzeugend sein, wenn er un-
ter schwacheren Voraussetzungen moglich ware, als sie Theorie T zur Verfugung
stellt), und diese Aussage gilt auch fur alle weiteren formalen Theorien, in welcher
sich die P EANO-Arithmetik interpretieren lat (wie z. B. die u bliche axiomatische
Mengenlehre).
Wahrend sich die u blichen syntaktischen Begriffe, die zu einer formalen Sprache
L gebildet werden, in der Sprache der Zahlentheorie definieren lassen und ihre
wesentlichen Eigenschaften zumindest in der Theorie PA beweisen lassen, ist dies
fur den semantischen Wahrheitsbegriff nicht moglich:
16.8. U NENTSCHEIDBARKEIT 235
PA ` G (G), insbesondere
M |= G M |= (pGq).
M |= G M |= (pGq),
16.8 Unentscheidbarkeit
Wie im vorigen Abschnitt werden wir gelegentlich eine formale Theorie T mit
Satz
Ist T eine konsistente Theorie der Sprache L, so sind nicht die Diagonalfunktion
d und zugleich die Menge pTq in T reprasentierbar.
16.8. U NENTSCHEIDBARKEIT 236
Beweis: Wir nehmen an, da sowohl d durch eine Formel (x, y) wie auch die
Menge pTq durch eine Formel T (v0 ) in T reprasentiert werden und wahlen =
T . Aus dem Diagonalisierungslemma 16.2 erhalten wir dann die Existenz einer
Formel G mit
() T ` G T (pGq).
1. Fall: T ` G, also pGq pTq. Dann gilt wegen der Reprasentierbarkeit:
T ` T (pGq) und mit (*) auch T ` G, d. h. T ware widerspruchsvoll.
2. Fall: T 6` G, also pGq 6 pTq. Dann gilt wiederum wegen der Reprasentier-
barkeit: T ` T (pGq), mit (*) also T ` G, Widerspruch!
(i) Ist T eine konsistente Theorie der Sprache L, welche PA erweitert, so ist
T unentscheidbar.
(Denn dann ist jede rekursive Funktion, also auch d, in T reprasentierbar.)
Da dieses fur die endlich-axiomatisierbare Theorie PA gilt, so erhalten
wir:
(v) Die Theorie der Gruppen ist unentscheidbar (M ALCEV 1961), die Theorie
der A BELschen Gruppen dagegen ist entscheidbar (W. S MIELEW 1949).
Ein Beispiel eines Entscheidungsverfahrens fur eine algebraische Theorie
behandeln wir im nachsten Teil.
16.8. U NENTSCHEIDBARKEIT 237
die Pradikatenlogik
Das Entscheidungsproblem fur
Ohne Beweis (s. hierzu etwa B ORGER
-G R ADEL -G UREVICH 1997) fuhren wir
die folgenden Ergebnisse an:
......
......
. . . . . . (ohne =-Zeichen!)
. . .
. . .
. . .
...
238
Kapitel 17
Literatur
Geschichte
Mathematische Logik
Mengenlehre
Modelltheorie
B ORGER , E.: Berechenbarkeit, Komplexitat, Logik. vieweg 1992
B OGER -G R ADEL -G UREVICH: The classical decision problem. Springer 1997
C UTLAND , N.: Computability Cambridge University Press 1980
K AYE , R.: Models of Peano Arithmetic Clarendon Press 1991