Beruflich Dokumente
Kultur Dokumente
SS 2003
Christian-Albrecht- Universitat
Kiel
26. September 2003
eMail: cwisnewski@web.de
Inhaltsverzeichnis
Einleitung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1 Mathematische Vorbereitungen
5
1.1 Freie Monoide . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2 Abzahlbarkeit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
2 Syntax der Sprachen 1.Stufe
2.1 Das Alphabet einer Sprache 1.Stufe . . . . . .
2.2 Die Terme einer Sprache 1. Stufe . . . . . . .
2.3 Die Ausdr
ucke einer Sprache 1. Stufe . . . . .
2.4 Freie und gebundene Variablen, Substitution
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
14
15
16
21
27
syntaktische Ableitungsbeziehung
51
Der Sequenzenkalk
ul . . . . . . . . . . . . . . . . . . . . . . . . . 51
Weitere ableitbare Regeln des Sequenzenkalk
uls . . . . . . . . . . 56
Widerspruchsfreie Ausdrucksmengen . . . . . . . . . . . . . . . . 62
5 Der
5.1
5.2
5.3
Vollst
andigkeitssatz
Der Satz von Henkin . . . . . . . . . . . . . . . . . . . . . . . . .
Maximal widerspruchsfreie Ausdrucksmengen . . . . . . . . . . .
Erf
ullbarheit widerspruchsfreier Ausdrucksmengen. Der abzahlbare
Fall . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Erf
ullbarkeit widerspruchsfreier Ausdrucksmengen. Allgemeiner
Fall . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Der Vollstandigkeitssatz . . . . . . . . . . . . . . . . . . . . . . .
Der Endlichkeitssatz und der aufsteigende Satz
von Lowenheim und Skolem . . . . . . . . . . . . . . . . . . . . .
Elementar aquivalente Strukturen . . . . . . . . . . . . . . . . . .
Ein Axiomensystem der Mengenlehre . . . . . . . . . . . . . . . .
5.4
5.5
5.6
5.7
5.8
64
64
68
69
74
75
76
78
80
Einleitung
Im Mathematikstudium horen Sie haufig Phrasen folgender Art:
...
daraus folgt
...
daher gilt
...
also ist
...
das ergibt
... und deshalb ist
...
...
...
...
...
Die Berufung auf ein Experiment, eine Erfahrung, auf Horensagen, Uberlieferung
oder ahnliches gen
ugt nicht. In dieser Vorlesung machen wir uns Gedanken
dar
uber, wie aus einem Sachverhalt ein anderer zwingend folgt. Wir interessieren
uns genauer gesagt f
ur die Folgerungsbeziehung zwischen Aussagen, und zwar
insoweit diese Beziehung von logischer Natur ist.
Beispiel einer nicht logischen Folgerungsbeziehung:
Wenn es regnet, wird die Strae na
Dies ist eine Erfahrungstatsache, und jeder wei, da sie nur mit Einschrankungen
gilt: Eine Strae in einem Tunnel oder unter einem Dach wird auch bei Regen
nicht na.
Beispiel einer logischen Folgerungsbeziehung:
Alle Menschen sind sterblich
Sokrates ist ein Mensch
Sokrates ist sterblich
Man konnte einwenden, da alle drei Satze schlielich Erfahrungstatsachen
seien, da Sokrates tatsachlich tot sei, woraus in der Tat zwingend zu schlieen
sei, da Sokrates sterblich war. Wie steht es nun mit folgender Variation:
Alle Knurkse sind punkel
Olpert ist ein Knurks
Olpert ist punkel
Das ist vermutlich sinnlos, aber logisch zwingend.
Wenn alle Knurkse punkel sind, und wenn Olpert ein
Knurks ist, dann ist auch Olpert punkel.
Wir wissen nicht, was ein Knurks oder wer Olpert ist. Wir kennen die Bedeutung
von punkel nicht. Aber allein aus dem Bau der Aussagen, aus der grammatischen
Struktur der Satze heraus entscheiden wir in diesem Beispiel u
ber wahr oder
falsch.
2
Unser Ziel ist es nun nicht etwa, Sprache schlechthin zu untersuchen. Das
Medium Sprache, mit dem wir uns verstandigen, und das wir bei unseren
symmetrisch verhalt:
1 < x und f stetig
oder
f stetig und 1 < x
macht keinen Unterschied. Aber wie ist es mit folgendem Beispiel:
A : Der Patient wird krank
B : Der Arzt verschreibt dem Patienten Medizin
A und B ist ein normaler Vorgang. Aber B und A hat etwas ziemlich
Bedenkliches. Offenbar hat die Partikel und hier eine andere Bedeutung
werden.
Sprache ist ein historisches Phanomen. Wortschatz, Bedeutung der Worte
und Grammatik wandeln sich im Laufe der Zeit. Jede lebende (oder tote)
Sprache ist (oder war) an eine Gemeinschaft von Sprechern dieser Sprache
gebunden und verandert(e) sich mit den Schicksalen dieser Sprachgemeinschaft.
Sprache schlechthin ist Gegenstand der Sprachwissenschaft, speziell der Linguistik.
Damit haben wir es hier nicht zu tun.
Die mathematische Logik, deren Ziel es ist, die Folgerungsbeziehung zwischen
Aussagen zu untersuchen, hat als Gegenstand ebenfalls Sprachen, aber keine
lebenden oder toten Sprachen, sondern sogenannte formale Sprachen. Wir werden
uns hier speziell mit der Sprache der Pr
adikatenlogik 1.Stufe auseinanderzusetzen
haben. Den subtilen Schwierigkeiten, denen man sich, wie ich oben anzudeuten
versucht habe, bei der Untersuchung von Sprache gegen
ubersieht, entgeht die
mathematische Logik durch zwei Manahmen:
1. Formalisierung
3
Kapitel 1
Mathematische
Vorbereitungen
1.1
Freie Monoide
1.1.1. Vorbemerkung. Eine Halbgruppe ist ein Paar (H, ), wobei H eine
Menge und : H H H eine assoziative Verkn
upfung auf H ist.
Wir schreiben hh0 statt (h, h0 ) f
ur das Bild von (h, h0 ) unter der Abbildung .
e H heit neutrales Element bez
uglich , wenn gilt:
eh = h = he f
ur alle h H
Eine Halbgruppe mit neutralem Element heit M onoid. Es gibt in einem Monoid
stets genau ein neutrales Element:
e = ee0 = e0
Wir bezeichnen dieses eindeutig bestimmte neutrale Element oft mit eH (oder
1H oder 0H o.a.). Monoide sind immer nicht-leer, wahrend auch die leere Menge
eine Halbgruppe ist.
Sind (H, ) und (L, ) Monoide und : H L eine Abbildung, so heit
Monoidhomomorphismus, wenn gilt:
1. ((h, h0 )) = ((h), (h0 )) f
ur alle h, h0 H
0
oder k
urzer: (hh ) = (h)(h0 ),
2. (eH ) = eL
Ist bijektiv, so folgt (2) aus (1). Ferner ist 1 : L H dann ebenfalls ein
Monoidhomomorphismus, wie der Leser sich selbst u
berlegen moge. In diesem
Fall heit auch Isomorphismus.
1.1.2. Definition. Sei X eine Menge. Ein Monoid (M, ) heit frei u
ber X,
wenn gilt:
1. X M
2. f
ur alle Monoide (L, ) und alle Abbildungen : X L gibt es genau
einen Monoidhomomorphismus : M L mit |
X = .
1.1.3. Satz. Sind (M, ),(M 0 , 0 ) u
ber X freie Monoide, so gibt es genau einen
0
Isomorphismus : M M mit |X = idX .
Je zwei u
ber X freie Monoide sind kanonisch isomorph
Beweis. Wegen X M M 0 gibt es genau einen Monoidhomomorphismus
: M M 0 mit |X = idX und einen Monoidhomomorphismus : M 0 M
mit |X = idX . Dann sind : M 0 M 0 und : M M ebenfalls
Monoidhomomorphismen mit ( )|X = idX = ( )|X . Andererseits sind
auch idM : M M und idM 0 : M 0 M 0 Monoidhomomorphismen mit
idM 0 |X = idX und idM |X = idX . Nach Definition ist nun
= idM 0 und = idM
Also sind und zueinander inverse Isomorphismen.
(a, b, c)
g = (w, x, y, z) =
1 2 3
a b c
1 2 3 4
w x y z
so ist
fg =
1 2 3 4 5 6 7
a b c w x y z
X 3,
X 4,
f
ur 1 1 m,
f (i)
(f g)h : i 7 g(i m)
f
ur m i m + n,
h(i (n + m)) f
ur m + n i m + n + p
und andererseits
(
f (i)
f (gh) : i 7
(gh)(i m)
f
ur 1 i m,
f
ur m i m + n
f
ur 1 i m,
f (i)
f (gh) : i 7 g(i m)
f
ur 1 i m n,
h(i m n) f
ur n i m n + p
Also ist (f g)h = f (gh) und (A, ) ein Monoid mit neutralem Element .
F
ur jedes x X ist
1
(x) =
= {(1, x)} = f : {1} X, 1 7 x
x
ein Element von X 1 und die Abbildung : X X 1 , x 7 (x) offenbar eine
Bijektion.
Sind x1 , . . . , xm X, so ist
g := (x1 )(x2 ) (xm ) = (x1 , x2 , . . . , xm ) X m A,
also g(i) = xi f
ur alle 1 i m, wie man leicht der Definition der Multiplikation
in A entnimmt. Insbesondere ist f
ur jedes f X m
(?)
falls m = 0,
eL
(f
) := (f (1))(f (2)) (f (m)) falls m > 0 .
{z
}
|
Produkt in L
Ist g X n , so folgt:
(f
g)
= ((f g)(1))((f g)(2)) ((f g)(m))((f g)(m + 1)) ((f g)(m + n))
= (f (1)) (f (m))(g(1)) (g(n))
= (f
)(g).
= (((x))(1)) = (x),
: A L ein weiterer Monoidhomomorphismus mit
= ,
also
= . Ist
so folgt
) = ((f
(f
(1)))((f
(2))) ((f
)m)))
= (f (1))(f (2)) (f (m))
= (f
).
= .
Also ist
Wir haben gezeigt:
F
ur jede Abbildung : X L von X in ein Monoid (L, ) gibt es genau einen
Monoidhomomorphismus : A L mit der Eigenschaft = .
1.1.5. Satz (Entgiftungssatz). Seien A, B Mengen. Dann gibt es eine Menge
A0 und eine Abbildung : A0 A mit den folgenden Eigenschaften:
1. ist bijektiv
2. A0 B =
[Ohne Beweis]
Der Entgiftungssatz wird nun wie folgt angewandt: Es gibt eine Menge Y und
eine Bijektion : Y A\X 1 mit Y X = . Wir setzen Z := Y X. Dann ist
:= eine Bijektion von Z auf A. F
ur alle z1 , z2 Z setzen wir
z1 z2
|{z}
Produkt in Z
:=
(z1 , z2 ) := 1 ((z1 )(z2 )) .
|
{z
}
Produkt in A
Ubertragung
der auf (A, ) gegebenen Monoidstruktur mittels nach Z heit
Strukturtransport. Ist nun (L, ) ein Monoid und : X L eine Abbildung,
so sei : A L wie oben definiert. Wir setzen = . Dann ist ein
Monoidhomomorphismus und es ist
|
X = |X = = .
Da eindeutig bestimmt ist, ist auch eindeutig bestimmt. Also ist X ist
eine Teilmenge von Z! (Z, ) ein u
ber X freies Monoid.
1.1.6. Korollar. Sei (M, ) ein u
ur jedes
ber X freies Monoid. Dann gibt es f
w M genau ein n N0 und genau ein n-Tupel (x1 , . . . , xn ) X n mit
w = x1 x2 xn .
8
( 1 (x1 )) ( 1 (xn ))
(1 (x1 )) (1 (xn ))
(x1 ) (xn )
x1 xn
Das zeigt die Existenz von n und (x1 , . . . , xn ) X n . Ist auerdem w = x01 x0m
mit m N0 und x01 , . . . , x0m X, so folgt
w =
=
=
=
1.2
Abz
ahlbarkeit
10
(1) := (min
(X))
(2) := (min{(x)\{min
(X)}})
= (min{(x)\{((1))}})
(3) := (min{(x)\{((1)),
((2))}})
und allgemein
(1)
falls (x) = {((1)), . . . , ((n))}.
Ist X endlich, etwa |X| = n, so ist
(X) = {((1)), ((2)), . . . , ((n))}
und (i) = (1) f
ur i > n. In diesem Falle ist
|n : n X eine Bijektion.
Ist X nicht endlich, so tritt die zweite Zeile aus der obigen Definition von (n)
niemals auf. Wir erhalten dann eine Bijektion von N auf X. Dabei wird X durch
so durchgezahlt, da ((1)) der kleinste, ((2)) das zweitkleinste usw.
der aufsteigenden Kette 2 < 3 < 5 < 7 < . . . der Primzahlen die i-te Primzahl.
Wir definieren nun eine Abbildung : X ? N wie folgt: Wir setzen
(eX ? ) := 1.
Ist w X ? mit |w| > 0, so gibt es nach 1.1.5 genau ein n N und genau ein
n-Tupel (x1 , . . . , xn ) X n mit
w = x1 x2 xn .
Wir setzen
(w) := (1)
1 (x
1)
(2)
1 (x
2)
(n)
1 (x
n)
Dann ist (w) N\{1}. Seien w, w0 X ? mit (w) = (w0 ). Ist dann (w) =
1 = (w0 ), so ist
w = eX ? = w0 .
Ist (w) > 1, so ist wegen des Satzes von der Eindeutigkeit der Primfaktorzerlegung
[Schulkenntnisse? Zahlentheorie? evtl. im Anhang?] |w| = |w0 |, etwa w = x1 xn , w0 =
x01 x0n , und
1 (x1 ) = b1 (x01 ), . . . , 1 (xn ) = 1 (x0n ).
Es folgt x1 = x01 , . . . , xn = x0n und damit w = w0 . Also ist injektiv. Nach
Definition ist X ? hochstens abzahlbar. Nach Voraussetzung ist X ? 6= . Also
gibt es ein x X. Die Teilmenge {x, xx, xxx, . . . } von X ? ist nicht endlich.
Also ist auch X ? nicht endlich. Es folgt die Behauptung.
1.2.6.
ur jedes n N sei Xn eine hochstens abzahlbare Menge. Dann
S Satz. F
ist n Xn hochstens abzahlbar.
S
Beweis. Ist Xn = f
ur alle n N, so ist n Xn = hochstens abzahlbar. Seien
also nicht alle Xn = . Wir setzen
I := {i N|Xi 6= }.
F
ur jedes i I gibt es nach 1.2.1 eine surjektive Abbildung i : N Xi . Wir
setzen weiter f
ur alle i I:
Mi := {a N | es gibt ein n N mit 2 - n und a = 2i n}
= {2i n | n N, n ungerade }.
Dann ist Mi eine abzahlbare Teilmenge von N f
ur alle i I. Nach 2.4 gibt es
eine Bijektion i : Mi N. Es ist
i i : Mi Xi
surjektiv f
ur alle i I. Da die Mengen Mi paarweise disjunkt sind, ist
[
[
[
[
i i :
Mi
Xi =
Xn
iI
iI
iI
12
S
S
eine surjektive
Abbildung.
Ist
M
=
N,
so
ist
ochstens abzahlbar
i
iI
n Xn h
S
nach 2.1. Ist iI Mi 6= N, so sei i0 := min I und x0 Xi0 beliebig. In diesem
Falle ist
[
[
i i {(n, x0 )|n N\
Mi }
iI
iI
n Xn
und erneut
n Xn
hochstens abzahlbar.
13
Kapitel 2
Einerseits kann nun eine Aussage A in allen Gruppen, also in allen Modellen f
ur
das Axiomensystem der Gruppentheorie gelten. A ist dann ein allgemeing
ultiger
gruppentheoretischer Satz. Andererseits kann man mit logischen Schl
ussen aus
den Axiomen Folgerungen ziehen. Falls man dabei keine zusatzlichen Voraussetzungen
macht ( die Gruppe sei endlich und die Anzahl ihrer Elemente gerade z.B.),
ist das Ergebnis solchen Schlieens ebenfalls ein auf alle Modelle f
ur den Begriff
Gruppe zutreffender Satz, ein da allein durch logisches Schlieen gewonnener
Satz beweisbarer Satz der Gruppentheorie.
Beweisbare Satze sind also allgemeing
ultig. Das Problem lautet nun:
Sind alle allgemeing
ultigen S
atze beweisbar?
Die analoge Frage kann man f
ur andere Strukturtheorien (Ringtheorie, Verbandstheorie,
Korpertheorie etc.) stellen. Auch wenn es sich um die Theorie einer einzigen
Struktur handelt (Zahlentheorie z.B. ist die Theorie des Ringes Z) kann man
fragen, ob jeder allgemeing
ultige Satz beweisbar ist. Also:
Ist jeder wahre Satz der Zahlentheorie, jede wahre Aussage
u
ber den Ring der ganzen Zahlen, mit logischen Mitteln aus
den Axiomen des Ringes Z ableitbar?
Theorien, in denen jeder allgemeing
ultige Satz beweisbar ist, heien vollst
andig
und unvollst
andig solche, bei denen dies nicht der Fall ist. Es gibt Vollstandigkeitssatze
und Unvollstandigkeitssatze.
Will man f
ur irgendeine mathematische Theorie die genannte Frage attackieren,
mu man diese Theorie (in u
berschaubarer Weise) formalisieren. Von solcher
Formalisierung handeln wir zun
achst.
14
2.1
Zur Formalisierung dieser Floskeln dienen und . Weiter benotigen wir Variablen
f
ur Elemente von Mengen, logische Zeichen, ein Gleichheitszeichen, Klammern.
2.1.1. Definition. Das Alphabet einer Sprache 1. Stufe ist die Vereinigung der
folgenden Mengen:
Var
Log
Gl
Kl
:=
:=
:=
:=
{v1 , v2 , . . . }
{, , }
{}
{(, )}
ferner f
ur alle n N
Rn
Fn
n stellige Relationssymbole
n stellige Funktionssymbole
und schlielich
K
Konstantensymbole
Wir setzen diese Mengen als paarweise disjunkt voraus. Auerdem sei Var
abzahlbar. Wir setzen noch
A := S
Var LogS Gl Kl
S :=
n Rn n Fn K
und
AS := A S.
15
F
ur theoretische Uberlegungen
unabhangig von jeder speziellen Theorie wahlt
man Rn , Fn und K als abzahlbare Mengen. Wenn wir u
ber Variablen-, Relations, Funktions-, und Konstantensymbole reden, benutzen wir metasprachliche Variablen
x, y, z, . . .
P, Q, R, . . .
f, g, h, . . .
c, c0 , c1 , . . .
Variable
Variable
Variable
Variable
f
ur
f
ur
f
ur
f
ur
Variablensymbole
Relationssymbole
Funktionssymbole
Konstantensymbole
2.2
XM X
f
ur alle A?S .
2.2.6. Hilfssatz. Sei X A?S und X termabgeschlossen. Dann ist T S,k X
f
ur alle k N.
Beweis. Wir zeigen die Behauptung durch Induktion nach k.
Nach Definition ist T S,1 = Var K X.
Sei schon T S,1 T S,k1 X gezeigt. Sei T S,k . Dann gibt es n
N, t1 , . . . , tn T S,1 T S,k1 und f Fn mit = f t1 tn . Da X termabgeschlossen
ist, ist X, also T S,k X.
2.2.7. Satz. Es gilt
1. T S,1 T S,k = f
ur alle k 2 und T S,2 T S,3 . . . .
S
2. T S = kN T S,k .
S
Beweis. Nach 2.2.6 ist V := kN T S,k T S , wegen 2.2.4(1) also 2 6 V . F
ur
alle w T S,1 ist |w| = 1. Sei k > 1 und T S,k , etwa = f t1 tn mit
n N, t1 , . . . , tn T S,1 T S,k1 und f Fn . Dann ist
|| = 1 + |t1 | + + |tn | n + 1 > 1,
also
/ T S,1 . Das zeigt T S,1 T S,k = . Auerdem ist T S,k+1 wegen
t1 , . . . , tn T S,1 T S,k1 T S,1 T S,k . Also ist T S,k T S,k+1 .
Damit ist (1) gezeigt.
17
Ist |ti | = |xi |, so ist ti = xi , im Widerspruch zur Wahl von i. Ist |ti | > |xi |, so ist
xi echtes Anfangsst
uck von ti T S im Widerspruch zu xi X. Ist |ti | < |xi |,
so ist der Term ti echtes Anfangsst
uck von xi im Widerspruch zu xi X.
2.Fall: f x1 xn hat die Eigenschaft (2) nicht. Dann gibt es ein t T S und
A?S mit 6= 2 und
= f x1 xn .
Wegen 2.2.4 ist t 6= 2, also f erster Buchstabe von t. Da f
/ Var K = T S,1
ist, ist t T S,k f
ur ein k 2, folglich
t = f t 1 tn
f
ur ein geeignetes n N, f Fn , t1 , . . . , tn T S . Wegen 6= 2 gibt es ein
i n mit xi 6= ti . Wahlt man i dabei minimal, so folgt wie vorher:
xi ist echtes Anfangsst
uck von ti oder
ti ist echtes Anfangsst
uck von xi .
im Widerspruch zu xi X.
2.2.9. Korollar. Seien m, n N, t1 . . . , tm , t01 , . . . , t0n T S . Ist
t1 tm = t01 t0n ,
so ist n = m, t1 = t01 , . . . , tm = t0m .
Beweis. Sei o.B.d.A. m n. Ist ti = t0i f
ur 1 i m, so ist n = m und nichts
zu zeigen. Andernfalls sei i minimal mit ti 6= t0i . Wegen t1 = t01 , . . . , ti1 = t0i1
ist dann
ti tm = t0i t0n
und wegen ti 6= t0i dann entweder ti ein echtes Anfangsst
uck von t0i oder t0i ein
echtes Anfangsst
uck von ti im Widerspruch zu 2.2.8.
2.2.10. Korollar. Das von der Menge T S erzeugte Teilmonoid von A?S ist frei
u
ber T S . Wir bezeichnen dieses Monoid mit (T S )? .
Beweis. Siehe 2.2.9 und 1.1.7.
2.2.11. Definition. F
ur jeden Term t setzen wir
Stufe (t) := min{k N | t T S,k }
(Wegen 2.2.7 ist {k N | t T S,k } =
6 .)
2.2.12. Hauptsatz u
ber den Aufbau der Terme. Jeder Term ist entweder
ein Variablen- oder Konstantensymbol oder von der Form f t1 tm mit einem
eindeutig bestimmten m N, einem eindeutig bestimmten n-stelligen Funktionssymbol
m und eindeutig bestimmten Termen t1 , . . . , tm . Dabei ist
Stufe (t1 ), . . . , Stufe (tn ) < Stufe (f t1 tm ).
19
Beweis. Sei t ein Term und k := Stufe (t). Ist k = 1, so ist t T S,1 = VarK. Ist
k > 1, so ist t
/ T S,1 nach 2.2.7, also t kein Variablen- oder Konstantensymbol.
Ferner gibt es dann m N, f Fn und t1 , . . . , tm T S,1 T S,k1 mit
t = f t 1 tm .
2.2.13. Bemerkung. Beim Aufbau der Terme wird die sogenannte polnische
Notation benutzt, bei der keine Klammern benotigt werden. Ich erklare das
an einigen Beispielen:
Statt a + b schreiben wir in polnischer Notation +ab. Aus (a + b) (c + d) wird
dann
(1)
+ab + cd.
anderes ist als (a+b)(c+d). Genau genommen sind in (2) Klammern erforderlich,
da + eine 2-stellige Verkn
upfung ist. Gilt das Assoziativgesetz f
ur +, so lat
man ebenfalls eine Konvention die Klammern weg. Die beiden moglichen
Beklammerungen von (2) sind
(a + b c) + d
bzw. a + (b c + d),
bzw.
+ a + bcd
2.3
Die Ausdru
cke einer Sprache 1. Stufe
ev1 v1 ,
v1 e v1
atomare Ausdr
ucke und
(1) v1 v2 v3 v1 v2 v3 v1 v2 v3
(2) v1 (ev1 v1 v1 e v1 )
Ausdr
ucke. (1) ist eine Formalisierung des Assoziativgesetzes und (2) eine Formalisierung
der Aussage e ist neutrales Element bez
uglich der Verkn
upfung . Eine Formalisierung
(3) v1 v2 (v1 v2 v2 v2 v1 v2 ).
2.3.6. Hilfssatz. 2
/ LS .
Beweis. A?S \{2} ist ausdrucksabgeschlossen.
2.3.7. Definition. Wir setzen
LS,1
:=
:
es gibt
oder es gibt
oder es gibt
LS,1 LS,k1
mit =
, LS,1 LS,k1
mit {( ), ( ), ( ), ( )}
x Var, LS,1 LS,k1
mit {x, x}.
=
=
=
=
=
=
(1 2
(1
(1
(1
(
(
X ist ausdrucksabgeschlossen,
denn dann ist LS X. Sei ein atomarer Ausdruck vom Typ G, etwa =
t1 t2 , t1 , t2 T S und = mit LS , A?S . Wegen 5.11(3) ist
atomar und, da der 1. Buchstabe von kein Relationssymbol ist, selbst vom
Typ G, etwa = t01 t02 . Da in t1 t2 genau 1-mal vorkommt, folgt aus
t1 t2 = t01 t02 nun t1 = t01 und t2 = t02 . Wegen 2.2.8 ist = 2, also =
Ist ein atomarer Ausdruck vom Typ R, etwa = Rt1 tm und =
wie oben, so ist erneut wegen 2.3.11(3) auch atomar vom Typ R, etwa =
R0 t01 t0n . Aus Rt1 tm = R0 t01 t0n folgt R = R0 , m = n, und
t1 tm = t01 t0m .
Ein Standardschlu liefert auch hier = 2. Wir haben gezeigt:
(1)
( ) X.
(2)
Es bleibt zu zeigen:
, x X.
(3)
(t1 , t2 ) 7 t1 t2
n
und f
ur alle n N, R R
: (T S )n LS ,
R
(t1 , . . . , tn ) 7 Rt1 tn ,
ferner
N : LS LS , 7 ,
o : LS LS LS , (, ) 7 ( ),
schlielich f
ur alle x V ar
Ex : LS LS ,
7 x.
Dann gilt
1. Alle diese Abbildungen sind injektiv.
2. Die Bilder dieser Abbildungen sind paarweise disjunkt.
3. LS ist die Vereinigung der Bilder dieser Abbildungen.
sind injektiv und ihre Bilder disjunkt nach 2.3.1. Offenbar ist
Beweis. G und R
N injektiv. Seien nun , , 0 , 0 LS mit ( ) = (0 0 ), insbesondere
= 0 0 . Ist 6= 0 , so ist echtes Anfangsst
uck von 0 oder umgekehrt
im Widerspruch zu 2.3.10. Also ist = 0 und = 0 . Das zeigt, da o
injektiv ist. Offenbar ist Ex injektiv und die Bilder aller Ex , x V ar paarweise
disjunkt. An den Anfangsbuchstaben , (, erkennt man, da die Bilder aller
25
dieser Abbildungen paarweise disjunkt sind. Das zeigt (1) und (2). Sei nun
f
LS . Ist Stufe = 1, so ist atomar und Bild G oder Bild R
ur ein
S
geeignetes R. Ist Stufe > 1, so gibt es , L , x Var (gegebenenfalls) mit
{, ( ), x}
nach 2.3.9. Das zeigt (3).
2.3.19 bedeutet, da man jeden Ausdruck in eindeutiger Weise baumartig
zur
uckbauen kann bis auf die Ebene der atomaren Ausdr
ucke hinab. Jeder
Ausdruck, der in diesem Baum vorkommt heit ein Teilausdruck von . Nach
2.3.19 entscheidet dabei der erste Buchstabe, namlich ob , ) oder welche der
Abbildungen N , o oder Ex f
ur den ersten Schritt beim R
uckbau zustandig ist.
Bei der Abbildung o kann es unter Umstanden etwas un
ubersichtlich sein zu
entscheiden, welches der Zeichen jeweils in Frage kommt. Man vergleiche etwa
Aufgabe 11.
2.3.20. Beispiel. Seien A1 , . . . , A6 atomare Ausdr
ucke und
:= ((xA1 (A2 yA3 )) (z(A4 A5 ) A6 ))
2.4
2.4.1. Definition. F
ur alle A?S sei var oder var [] die Menge aller Variablensymbole,
die in als Buchstaben vorkommen. Zum Beispiel ist
var [(v1 (v1 v1 Rv2 f v3 v1 (] = {v1 , v2 , v3 }.
2.4.2. Definition. Wir definieren induktiv u
ucke
ber den Aufbau der Ausdr
die Funktion frvar : LS P(Var) durch
frvar [t1 t2 ]
frvar [Rt1 tm ]
frvar []
frvar [( )]
frvar [x]
frvar [x]
:=
:=
:=
:=
:=
:=
Die Elemente von frvar [] heien freie und die Elemente von var []\frvar []
gebundene Variablen von .
2.4.3. Bemerkungen. 1. Induktion u
ber die Stufe zeigt sofort: frvar []
var [].
2. Ist ein quantorenfreier Ausdruck, d.h. sind , keine Buchstaben von ,
frvar []
= ((var [t1 ] var [t2 ]\{x}) var [t1 ]
var [t2 ] (var [t4 ]\{y}) var [t5 ]
((var [t1 ] var [t2 ] var [t3 ]\{y})
= var [t1 t2 t3 t4 ]\{y} var [t5 ].
26
Ist y ein Buchstabe von t5 , so ist frvar [] = var [t1 t2 t3 t4 t5 ] = var [].
2. Wie das folgende Beispiel zeigt, kann man die Menge der freien Variablensymbole
im allgemeinen nur bestimmen, wenn Gleichheit oder Verschiedenheit dieser
Symbole bekannt sind:
frvar [(xRyyx zR0 zxy)]
= frvar xRyyx frvar zR0 zxy
= [frvar Ryyx]\{x} [frvar R0 zxy]\{z}
= ({y, x}\{x}) ({z, x, y}\{z}) =: F
Sind x, y, z paarweise verschieden, so ist F = {x, y}. Ist x = y = z, so ist F = .
3. In diesem Beispiel lat sich frvar ohne weitere Informationen u
ber x, y, z
bestimmen:
frvar [(xyzf xy gyz Rx)]
=
frvar xyzf xy gyz frvar Rx
=
(frvar f xy gyz)\{x, y, z} {x}
=
{x, y, z}\{x, y, z} {x}
=
{x}.
2.4.5. Definition. Ausdr
ucke ohne freie Variable heien S
atze. Zum Beispiel
ist v1 v1 v1 ein Satz obwohl vermutlich bei jeder Interpretation falsch.
2.4.6. Vorbemerkung zur Substitution. Ist : AS A?S eine Abbildung,
|AS = .
so gibt es genau einen Monoidhomomorphismus
: A?S A?S mit
Wir interessieren und speziell f
ur Abbildungen der folgenden Art:
Sei V Var, V endlich und 0 : V T S eine Abbildung. Sei dann
: AS A?S definiert durch
|V = 0 , |AS \V = idAS \V .
Die Abbildung
: A?S A?S bezeichnen wir mit
V,0 .
t01 t0m
LS
x01 x0m
:=
.
x1 xn
x1 xn
Ist = ( ) mit {, , , } und , LS , so ist Stufe (), Stufe () <
k. Wir setzen
t 1 tm
t1 t m
t1 tn
:=
.
x1 xn
x1 xm
x1 xm
Sei nun = x mit x V ar. Dann ist LS nach 2.3.15 und Stufe () < k.
Sei dann
{xi1 , . . . , xie } = V frvar ,
insbesondere x
/ {xi1 , . . . , xie }, ferner xi1 , . . . , xie paarweise verschieden.
Fall I: x
/ var [ti1 tie ]. Wir setzen
t1 tn
ti1 tie
:= x
.
x1 xn
xi1 xie
28
Fall II: x var [ti1 tie ]. Dann sei j N minimal mit der Eigenschaft
vj
/ var[ti1 tie ].
Wir setzen
ti1 tie vj
t1 tn
:= vj
x1 xn
xi1 xie x
Ist = x, so verfahren wir genauso. Wegen unserer Voraussetzung, und da
LS ausdrucksabgeschlossen ist, ist in jedem Falle
t1 tn
LS .
x1 xn
Auerdem ist
t1 tn
Stufe
= Stufe .
x1 xn
Damit ist die Substitutionsabbildung
t1 t n
: LS LS
x1 xn
rekursiv definiert.
2.4.9. Kommentar. 1. Setzt man
(
x
im Fall I ,
u :=
vj im Fall II ,
so kann man einfach schreiben
t 1 tn
ti1 tie u
[x]
= u
,
x1 xn
xi1 xie x
denn offenbar ist
ti1 tie x
ti tie
= 1
.
xi1 xie x
xi1 xie
Analog f
ur x.
2. Man mu sich beim Ersetzen merken, welche Variablensymbole man schon
ersetzt hat. Zum Beispiel konnte x2 ein Buchstabe von t1 sein. Dieser Buchstabe
von t1 darf nicht ausschlieend durch t2 ersetzt werden. Sei zum Beispiel f F2 .
Dann ist
f v1 v3 v4
v1 v2
= f v1 v3 v4
v1 v2
und nicht
v1 v2
f v1 v3 v4
= f v4 v3 v4 .
v1 v2
3. Die Substitution von Variablen durch Terme in einem Ausdruck kann man
n
erst explizit durchf
uhren, wenn sich der Operator xt11 t
xn durch die Herleitung
von bis auf die Ebene der atomaren Ausdr
ucke hinuntergearbeitet hat. Es
gibt jedoch eine kleine Erleichterung:
4. Ist ein quantorenfreier Ausdruck [2.4.3(2)], so ist
29
n
xt11 t
xn =
V,0
=
v3 v4
gv2 v2 f v1 hv1 v2 v5
= v5 v2 ((Rv1 v1 v1 v2 ) v3 v4 )
v3 v4 v1
gv2 v2 f v1 hv1 v2 v5 v6
= v5 v6 ((Rv1 v1 v1 v2 ) v3 v4 )
v3 v4 v1 v2
= v5 v6 ((Rv5 v5 v5 v6 ) gv2 v2 f v1 hv1 v2 )
(iii)
v1 gv3 v4
v v
3 1
gv3 v4 v2
= v2 v3 v3 v1
v1 v3
gv3 v4 v5
= v2 v5 v3 v1
v1 v3
= v2 v5 v5 gv3 v4
v3 v3 v3 v1
Bei der Substitution von Variablensymbolen durch Terme gibt es zwei Prinzipien:
1. Es werden nur freie Variablen ersetzt.
2. Der Wirkungsbereich eines Quantors soll sich nicht auf die Variablen in
t(1) t(n)
t1 tn
=
.
x1 xn
x(1) x(n)
30
(b) Ist ti = xi f
ur ein i n, so ist f
ur alle T S LS
t1 tn
t1 ti1 ti+1 tn
=
.
x1 xn
x1 xi1 xi+1 xn
(c) F
ur alle t T S und alle LS gilt
t1 tn
var t
= [var [t]\{x1 , . . . , xn }] var [t1 tn ]
x1 xn
t1 tn
frvar
[frvar []\{x1 , . . . , xn }] var [t1 tn ].
x1 xn
Beweis. (a) und (b) zeigt man leicht durch Induktion nach der Stufe, ebenso f
ur
(c), wobei nur Ausdr
ucke der Form x, x etwas schwieriger zu behandeln
sind. Sei etwa = x. Dann folgt:
t1 tn
=
frvar
x1 xn
h
i
ti1 tie
frvar
im Fall I
=
h
i
31
Kapitel 3
:= +
Addition in N0 ,
N 0
:=
Multiplikation in N0 ,
N0
:= <
<-Relation in N0 ,
0 N0
1 N0
:= 0
die Zahl 0 N0 ,
:= 1
die Zahl 1 N0
32
(Man beachte, da Stufe (t1 ), . . . , Stufe (tn ) < Stufe (f t1 tn ) ist). Ublicherweise
?
schreibt man I statt I .
3.1.5. Beispiel. Sei S wie in 3.1.2. Es ist
2 v1 v2 T S ,
#v1 1#v
wie man leicht u
berlegt. N0 sei S-Struktur wie in 3.1.2. Ferner sei eine
Belegung mit (v1 ) = 5 und (v2 ) = 2, ansonsten beliebig, und I = (N0 , a, ).
Es folgt
2 v1 v2 )
I(#v1 1#v
I(#v2 v1 v2 )
= I(#v1 1)
(I(v2 ) + I(v1 v2 ))
= (I(v1 ) + I(1))
= ((v1 ) + 1 N0 ) ((v2 ) + (v1 ) (v2 ))
= (5 + 1) (2 + 5 2)
= 6 12 = 72 N0 .
Wir wollen auch die Ausdr
ucke der formalen Sprache LS interpretieren und
benotigen dazu einen Spezielfall der folgenden
3.1.6. Definition. Sei I = (A, a, ) eine S-Interpretation. F
ur alle x1 , . . . , xn
Var, x1 , . . . , xn paarweise verschieden und alle a1 , . . . , an A definieren wir die
Belegung
a1 an
: Var A
x1 xn
33
durch
a1 an
(y) :=
x1 xn
(
(y)
ai
falls y
/ {x1 , . . . , xn }
falls y = xi .
Wir setzen
I
a1 an
a1 an
:= (A, a,
)
x1 xn
x1 xn
3.1.7. Substitutionslemma fu
r Terme. Seien I = (A, a, ) eine S-Interpretation,
x1 , . . . , xn V ar paarweise verschieden und t1 , . . . , tn T S . Dann gilt f
ur alle
S
tT :
It
t1 tn
I(t1 ) I(tn )
=I
(t)
x1 xn
x1 . . . xn
Beweis. Wir beweisen das Lemma durch Induktion nach der Stufe von t. Ist
Stufe (t) = 1, also t Var K, so sei zunachst t = c K. Dann ist
t
t 1 tn
=c
x1 xn
n)
und I(c) = a(c) = I I(tx11)I(t
...xn (c).
t1 tn
n
Ist t Var, und etwa x := t
/ {x1 , . . . , xn }, so ist t xt11 t
xn = x und I[t x1 xn ] =
n)
I(x) = (x) = I I(tx11)I(t
ur ein i n, so ist
...xn (t). Ist schlielich t = xi f
t1 tn
= ti ,
x1 xn
I(t1 )I(tn )
n
also I[t xt11 t
xn ] = I(ti ) = I
x1 ...xn (t).
Ist k := Stufe (t) > 1, etwa t = f t01 t0m mit m N, f Fm und t01 , . . . , t0m
T S , dabei Stufe (t01 ), . . . , Stufe (t0m ) < k, so ist
I[t
t1 t n
t1 tn
t 1 tn
] = f A (I[t01
], . . . , I[t0m
])
x1 xn
x1 xn
x1 xn
I(t1 ) I(tn ) 0
I(t1 ) I(tn ) 0
= f A (I
t1 , . . . f A (I
tn )
x1 xn
x1 xn
I(t1 ) I(tn ) 0
= I
(f t1 t0m )
x1 xn
I(t1 ) I(tn )
= I
(t).
x1 xn
34
:
:
:
:
:
:
:
:= v1 ( 0v
Nun gilt:
I[]
a
1 #v1 v2 1]
[ 0v
v1
a
1 ] und I a [#v1 v2 1]
(x)
=
(x)
falls x = v1 ,
falls x =
6 v1 .
0 < 1 und 1 + 0 = 1.
Wir erhalten:
I erf (v2 ) = 0.
3.1.10. Kommentar zur Modellbeziehung. 1. Man konnte einwenden,
da I[] nicht eindeutig definiert sei. Zum Beispiel gibt
I[] : in (A, a) ist I[] nicht erf
ullt
den gleichen Sachverhalt wieder wie die Aussage in der Definition. Die Umgangssprache
erlaubt beinahe immer andere Wendungen, die bis auf Nuancen im wesentlichen
dasselbe aussagen. Ist I[] also wortlich der Satz aus der Definition, oder wird
nur ein Sachverhalt beschrieben, den man auch anders ausdr
ucken kann? Man
konnte f
ur diesen scheinbaren Ubelstand
leicht dadurch Abhilfe schaffen, da
man in die mathematische Umgangssprache gewisse formale Elemente einf
uhrt:
, , , , , , , (, ). Dann lase sich die Definition 3.1.8 zum Beispiel
so:
I[]
I[( ]
I[( ]
I[x]
:
:
:
:
I[]
(I[]I[])
(I[] I[](
a A : I xa []
Ist x 6= y, so ist
a b
ab
(I ) = I .
x y
xy
Insgesamt erhalten wir f
ur x 6= y:
ab
I[xy] f
ur alle a A und alle b A gilt I xy
[],
und f
ur x = y:
b
f
ur alle a A und alle b A gilt I []
x
b
f
ur alle b A gilt I []
x
a
f
ur alle a A gilt I []
x
Die rekursive Bestimmung von I[] ist also nicht ohne T
ucken. Zwei weitere
Beispiele:
I[xy]
b
f
ur alle a A gibt es ein b A mit I []
x
b
es gibt ein b A mit I []
x
a
es gibt ein a A mit I [].
x
b
(b) I[xx] es gibt ein a A, so da I [] f
ur alle b A gilt
x
b
A 6= und f
ur alle b A gilt I []
x
b
f
ur alle b A gilt I []
x
a
f
ur alle a A gilt I [],
x
denn wegen Var 6= ist in jeder Interpretation (A, a, : Var A) auch A 6= .
(a) I[xx]
3.2
ist allgemeing
ultig). Da jede Interpretation ein Modell f
ur ist, bedeutet |= ,
da I erf f
ur jede Interpretation gilt, also jede Interpretation ein Modell f
ur
ist.
37
2 := v1 v2 v1 v2 e,
S
3.2.4. Definition. Ein Ausdruck L einer Teilmenge LS heit
erf
ullbar, wenn es eine Interpretation I gibt mit I erf bzw. mit I erf . Wir
schreiben dann einfach erf bzw. erf . Man u
berlegt sich leicht:
F
ur alle LS , LS sind aquivalent
38
1. |= ,
2. {} ist nicht erf
ullbar.
3.2.5. Definition. , LS heien logisch (oder semantisch)
aquivalent,
wenn |= und |= gilt. Wir schreiben dann
=||= .
Offenbar sind =||= und |= ( ) aquivalent.
3.2.6. Bemerkung. =||= ist eine Kongruenzrelation auf LS bez
uglich , ,
, , ebenso bez
uglich , x, x, d.h. es gilt
( ) |= (0 0 )
und (7) x |= x0
I erf (0 0 ).
3.2.7. Beispiele.
1. ( ) =||= ( )
2. ( ) =||= ( )
3. ( ) =||= (( ) ( ) =||= (( ) ( ))
4. x =||= x
Beweis. Sei I = (A, a, ) eine S-Interpretation.
1. I erf ( ) bedeutet (I erf und I erf ). Dies ist aquivalent mit
I ist weder ein Modell f
ur noch f
ur ,
d.h.
(I erf oder I erf ) gilt nicht,
d.h.
I erf ( ) gilt nicht,
d.h.
I erf ( ).
2.
I erf ( ) wenn I erf , so auch I erf
I erf gilt nicht oder I erf
I erf oder I erf
I erf ( )
f
ur alle a A ist I xa ein Modell f
ur
f
ur kein a A ist I xa kein Modell f
ur
a
es gibt kein a A, so da I x ein Modell f
ur ist.
die Aussage es gibt ein a A mit I xa erf ist falsch
die Aussage I erf x ist falsch
I erf x.
\
b
2. (
) := (
b )
\
b
3. (
) := (
b )
40
b
4. (\
) := (
b )
b (varphi
b
\ ))
5. (\
) := ((
b )
d := x
6. x
b
d := x.
7. x
b
b =||=
b =||= ( )
(
b )
x
b =||= x.
x
b =||= x =||= x
d.h. es gilt
|lS = idlS .
b := {b | } f
Setzt man
ur alle LS so gilt f
ur alle LS und alle
LS :
b |= |=
b |=
|=
b
b
und f
ur alle S-Interpretationen I
I erf I erf
b
I[] I[].
b
Aquivalenz
geht, kann man sich daher stets auf Ausdr
ucke in lS zur
uckziehen,
was Beweise bedeutend vereinfacht. Wir machen Gebrauch von dieser Strategie
im n
achsten Abschnitt.
3.3
Nach Definition ist jedes Element w von < Y > ein Produkt von Buchstaben
aus Y , die wegen Y X eindeutig bestimmt sind (1.1.5). Nach 2.2.8 ist < Y >
frei u
ber Y.
Konvention Wir setzen in diesem Falle stets Y :=< Y >. Z.B.: ist die Menge
aller Zeichenketten in AS , die , , , nicht als Buchstaben enthalten, ein
u
ber AS \{, , , } freies Monoid, dessen Durchschnitt mit LS nach 3.2.8
gerade LS ist.
42
3.3.2. Vorbemerkung. Bisher haben wir stets mit einer festen Symbolmenge
[
[
S=
Fn Rn K
n
AS = AS1 AS2 .
Durch Induktion u
ucke zeigt man leicht:
ber den Aufbau der Terme und Ausdr
1. T S = T S1 T S2
2. LS = LS1 LS2
3. LS = `S1 `S2
F
ur Symbolmengen S =
wir
n Fn
n Rn K
und S 0 =
0
n Fn
0
0
n Rn K
setzen
S v S 0 : Fn Fn0 , Rn R0n f
ur alle n N und K K0
0
insbesondere Rt1 tn
/ LS .)
F
ur alle Symbolmengen S, S 0 und AS sei S() die Menge aller Buchstaben
von , die zu S gehoren.
3.3.3. Koinzidenzlemma. Seien S, S1 , S2 Symbolmengen wie in 3.3.2. Sei I1
= (A, a1 , 1 ) eine S1 -Interpretation und I2 = (A, a2 , 2 ) eine S2 -Interpretation
(mit der selben Tragermenge A!)
43
1. Sei t ein S-Term. Ist a1 |S(t) = a2 |S(t) , 1 |var (t) = 2 |var (t) , so ist I1 (t) =
I2 (t)
2. Sei ein S-Ausdruck. Gilt a1 |S() = a2 |S() und 1 |f rvar() = 2 |f rvar() ,
so gilt I1 [] I2 [] und insbesondere I1 erf I2 erf .
Beweis. 1. folgt leicht durch Induktion u
ber den Aufbau der Terme
2. zeigen wir (ebenfalls) durch Induktion u
ucke. Wir
ber den Aufbau der Ausdr
machen Gebrauch von 3.2.5 und konnen daher LS annehmen. Da I1 []
genau dann gilt, wenn I1 ein Modell f
ur ist, also I1 erf gilt, gen
ugt es
I1 erf I2 erf
zu zeigen. Ist zunachst = t t0 mit t, t0 T S , so ist S() = S(t) S(t0 ) und
frvar ( = var (t) var(t0 ). Nach Vorausetzung ist
a1 |S(t) = a2 |S(t) und 1 |var(t) = 2 |var(t) ,
ebenso f
ur t0 . Mit 1. folgt nun
I1 (t) = I2 (t) und I1 (t0 ) = I2 (t0 )
und daraus
I1 [] I1 (t) = I1 (t0 ) I2 (t) = I2 [t0 ] I2 ().
Analog, falls vom R-Typ ist.
Sei nun Stufe () > 1. Wegen 3.2.9 konnen wir LS annehmen. Ist = ,
so gilt:
I1 erf I1 erf gilt nicht
I2 erf gilt nicht
I2 erf
I erf
Analog f
ur = ( ). Sei
e
e
1,a , 2,a : Var A durch:
(
1 (y)
e1,a (y) :=
a
(
2 (y)
e2,a (y) :=
a
schlielich = x. F
ur alle a A definieren wir
falls y 6= x
falls y = x
falls y 6= x
falls y = x
Nun folgt
I1 erf ] I1 erf x
a1
erf
x
a2
es gibt ein a1 A mit I2 erf
x
I2 erf x
I2 erf .
3.3.4. Spezialf
alle. Sei S = S1 = S2 und (A, a) eine S-Struktur.
1. Ist LS und frvar = , d.h. ein Satz [2.4.5], und (A, a, ) ein
Modell f
ur , so ist auch (A, a, 0 ) ein Modell f
ur f
ur jede beliebige Belegung
0 : Var A. Wir schreiben dann (A, a) erf und sagen (A, a) ist ein Modell
f
ur .
2. Sei LS und (A, a, ) ein Modell f
ur . Dann ist (A, a, 0 ) ein Modell f
ur
0
0
f
ur alle : Var A mit |frvar = |frvar . Ist frvar {v1 , v2 , . . . , vn } und
ai = (vi ) f
ur 1 i n, so schreiben wir (A, a) erf [a1 , . . . , an ] (Verallgemeinerung
von 1).
0
45
3.3.6. Substitutionslemma fu
r Ausdru
cke. Seien I = (A, a, ) eine S-Interpretation, ferner n N0 , x1 , . . . , xn paarweise verschiedene Variablensymbole
und t1 , . . . , tn T S . F
ur alle LS gilt:
t1 tn
t1 tn
I
I
[]
x1 xn
x1 xn
n
insbesondere I erf xt11 t
xn .
I t1
, . . . , I t0m
a(R)
w
w
I(t1 ) . . . I(tn ) 0
I(t1 ) . . . I(tn ) 0
3.1.7
I
(t1 ), . . . , I
(tm ) a(R)
x1 . . . xn
x1 . . . xn
I(t1 ) . . . I(tn ) 0
I
(t1 )[Rt01 t0m ]
x1 . . . xn
Analog schliet man, falls vom G-Typ ist. Sei nun Stufe
1 Ist von der
Form , ( ), ( ), ( ), ( ), so folgt die Behauptung leicht,
wie wir am Beispiel = ( ) zeigen
h
h
i
i
I ( )
I ( )
w
w h
h wi
i
I
und I
w
w
I(t1 ) . . . I(tn )
I
[( )]
x1 . . . xn
46
Etwas mehr M
uhe macht = x. Wir benutzen die Konvention aus 2.4.9:
h
i
ti1 . . . til u
I [x]
I u
w
xi1 . . . xil x
a
ti1 . . . til u
2.4.9
es gibt ein a A mit I
u
xi1 . . . xil x
(1)
(2)
(3)
(4)
I(ti ...I(ti )a
t1 . . . t n
t1 . . . t n
|=
.
x1 . . . xn
x1 . . . xn
I(t1 )...I(tn )
n
Beweis. Sei I ein Modell f
ur xt11 ...t
erf nach
...xn mit 3.3.6 folgt: I x1 ...xn
n)
n
Voraussetzung also I I(tx11)...I(t
erf . Mit 3.3.6 folgt: I erf xt11 ...t
...xn
...xn .
47
vj
ab
I
erf
xvj
x
ab
a b I xvj (vj )
I
erf
xvj
x
ab b
[I
] erf
xvj x
bb
I
erf
xvj
Wegen vj
/ frvar () folgt mit dem Koinzidenzlemmas 3.3.6:
I
b
bb
erf I erf .
xvj
x
49
Kapitel 4
Die syntaktische
Ableitungsbeziehung
4.1
Der Sequenzenkalku
l
Die Relation ist reflexiv und transitiv, aber nicht antisymmetrisch, wie das
Beispiel zeigt. ist eine sogenannte Pr
aordnung auf (LS ) .
4.1.2. Definition. Im folgenden seien 1 , . . . , n , , , , . . . LS , , , . . .
(LS ) , t, t0 , . . . T S und x, y, . . . Var.
Eine Teilmenge X von (LS ) heit satzf
ormig, wenn sie die folgenden 10 Regeln
erf
ullt:
I Grundregeln
(Vor) Voraussetzungsregel:
1 n X falls {1 , . . . , n }.
(Ant) Antezedenzregel:
X, X
II Junktorenregeln
(FU) Fallunterscheidungsregel:
, X X
(Wid) Widerspruchsregel:
, X X
(A) -Einf
uhrung im Antezedenz:
, X ( ) X
(S) -Einf
uhrung im Sukzedenz:
X ( ), ( ) X
III Quantorenregeln
(S) -Einf
uhrung im Sukzedenz:
t
X x X
x
(A) -Einf
uhrung im Antezedenz:
Ist y nicht freie Variable in 1 , . . . , n , x, , so gilt:
y
1 n 1 n x X
x
IV Gleichheitsregeln
() Reflexivitat der Gleichheit:
ttX
(Sub) Substitutionsregel:
t
t0
X t t0 X
x
x
Die Gesamtheit dieser zehn Regeln heit der Sequenzenkalk
ul.
51
a
erf .
x
a a
[I ] erf :
y y
F
ur y = x gilt dies wegen [I xa ] xa = I xa . F
ur y 6= x und y frvar , denn sonst
waren y frvar x im Widerspruch zur Voraussetzung u
ber y. Nun folgt die
Behauptung mit dem Koinzidenzlemma. Wegen I ay (y) = a folgt aus (1)
a
(2)
aIy
erf
y x
F
ur alle Interpretationen I gilt I(t) = I(t). Also ist t t K
|=
53
4.1.9. Notation fu
uls,
r das syntaktische Ableiten. Die Regeln des Sequenzenkalk
aber auch langere Ableitungen nach diesen Regeln, werden meist notiert wie im
Beispiel aus der Einleitung:
Alle Menschen sind sterblich
Sokrates ist ein Mensch
Sokrates ist sterblich
Der Sequenzenkalk
ul noch einmal in verk
urzter Notation:
(Vor)
(A)
falls {}
(Ant)
xt
(S)
(FU)
( )
tt
(A)
x
()
falls
( )
(S)
xy
xt
(Sub)
(Wid)
t t0 tx
54
4.2
X
X
X
X
=
=
=
=
X,
X,
X,
X.
55
sehr u
bersichtlich darstellen:
1. ( )
Voraussetzung
2.
Voraussetzung
3.
4.
(Vor)
5.
6.
(Vor)
t1 t2 X = t2 t1 X
(b) t1 t2 , t2 t3 X = t1 t2 X.
56
Beweis.
(a) 1. t1 t2
Voraussetzung
2. t1 t2
() und (Ant)
3. [x t1 ] tx1
4. t1 t2 [x
5. t1 t2 t2 t1
4. und 6.8
6. t2 t1
(b) 1. t1 t2
Voraussetzung
2. t2 t3
Voraussetzung
3. [t1 x] tx2
4. t2 t3 [t1
5. t2 t3 t1 t3
6.8
6. t1 t3
Voraussetzung
2. t1 t01
3. t1
4.
5.
6.
7.
Voraussetzung
Rt01 t2 ...tn
t2 t02
t0
t2 t02 [Rt01 yt3 tn ] y2
t2 t02 Rt01 t02 t2 ...tn
usw.
(b) 1. f t1 ...tn f t1 ...tn ()
und (Ant)
2. f t1 ...tn f t1 ...tn
3.
4.
5.
Voraussetzung
4.2.2 (Wid)
4.2.3 (KS)
4.2.4 (KP)
(a)
(b)
( )
4.2.5
(c)
4.2.6 (m.p.)
(a)
x
4.2.8
( )
4.2.9
(d)
(b)
4.2.7
t1 t2
t xt
t2 t1
t1 t2
t2 t3
t1 t3
4.2.10
Rt1 tn
t1 t01
..
.
t1 t01
..
.
tn t0n
tn t0n
t01 t0n
f t1 f tn f t01 t0n
( ) := ( )
.
( ) := ( )
.
( ) := (( ) ( ))
.
x := x
Zur Rechtfertigung verweisen wir auf 3.2.7. Danach ist:
.
( ) =||= ( )
.
( ) =||= ( )
.
( ) =||= ( )
.
x =||= x
.
4.2.12. Satz. x X = xt X
Beweis.
1. x Pramisse
2. xt xt (Var.)
58
4.2.13. Korollar. x X X
.
Pramisse
xy
xy
xy
7. x
8. x
4.2.15. Satz. xt X = x X
Beweis.
1. xt Pramisse
2. xt (KP)
3. x (S)
4. x (KP)
.
4.2.16. Korollar. X = x X
Beweis. Aufgabe 24 mit t := x in 4.2.15.
.
Kommentar: -Einf
uhrung ist leicht im Antezedenz (4.2.15), schwer im Sukzedenz
(4.2.14). Bei -Einf
uhrung ist es umgekehrt. Grund: Anwendung von
S (KP) und
R
uckf
uhrung von 4.2.14 auf (A) und 4.2.15 auf (S). Durch LS = k LS,k bzw.
den Hauptsatz u
der Ausdr
ucke wurde LS intern charakterisiert.
ber den Aufbau
T
Wir wollen auch S (:= {X | X satzformig ) von innen beschreiben. Dabei
gewinnen wir einen formalisierten Beweisbegriff.
59
i
j
3. es gibt ein h, i j1 c , so da
oder
h
i
j
die man mit Hilfe einer der abgeleiteten Regeln dieses Paragraphens erhalt,
kann man im Prinzip durch den dort gef
uhrten Beweis in einen Abschnitt aus
einer Beweisform u
uhren. Wir betrachten aber auch Tupel, in denen die
berf
Uberg
ange durch solche abgeleitete Regeln gemacht werden, als Beweisformen.
2.
4.3
Widerspruchsfreie Ausdrucksmengen
4.3.4. Beispiel. F
ur alle LS gilt wv ( ).
.
2. ` wv ( {})
3. wf wf ( {}) oder wf ( {})
Beweis. (1) Nach Voraussetzung gibt es 1 , . . . , n und 1 n
B. Mit (Ant.) und (Wid.) folgt: 1 n , 1 n B, d.h.
{} ` und {} ` .
(1) Aus wv ({}) folgt mit 4.3.2 {} ` . Also gibt es 1 n
mit 1 n B. Wegen (Vor.) mit 1 n B, nach (Wid.) also
1 n B. Das zeigt ` .
(2) Nach Voraussetzung gibt es 1 , . . . , n mit 1 n B.
Mit (Ant.) und (Vor.) folgt 1 n , 1 n B. Nach (Wid.) mit
1 n B f
ur alle LS , d.h. {} ` f
ur alle LS . Nach 4.3.2
gilt wv ( {}).
(2) Nach Voraussetzung und 4.3.2 gibt es 1 , . . . , n mit 1 n
B. Nach Vor. ist 1 n B. Mit (FU) folgt 1 n L, d.h.
` .
(3) folgt aus (1) und (2) mit Kontraposition.
4.3.8. Satz. Seien S1 v S2 v S3 v ... abzahlbar viele Symbolmengen, insbesondere
(vgl. 3.3.2)
T S1
T S2
...
LS1
LS2
...
`S2
...
`S1
F
ur jedes j N sei j LSj , und es gelte
1 2 . . .
Wir setzen S :=
j Sj
und :=
j j ,
insbesondere LS .
62
Kapitel 5
Der Vollst
andigkeitssatz
In diesem Abschnitt beweisen wir den Vollstandigkeitssatz, der folgendes besagt:
(V)
F
ur alle lS und lS gilt:
` |=
F
ur alle LS und LS gilt:
` = |=
Die Zum Vollstandigkeitssatz noch fehlende Richtung in (V) lat sich leicht aus
folgender Aussage schlieen:
(E)
F
ur alle LS gilt:
wf = erf
5.1
Offenbar gilt: t t f
ur alle t T S . Wegen 4.2.9 ist auch symmetrisch und
die Aquivalenzklasse
von t. Die Abbildung [] : T S A , t 7 [t] ] heit auch
die kanonische Surjektion (oder Projektion) zu . Schlielich sei
: V ar A , x 7 [x] ,
d.h. ist die Einschrankung der kanonischen Projektion auf Var T S .
5.1.2. Definition und Bemerkung. Sei (LS ) . Wir nennen eine Sequenz
u
ur
ber , wenn = 1 n mit 1 , , n ist. Gilt ` 1 , . . . , ` n f
1 , . . . , n LS , so folgt leicht aus (Ant), da es eine Sequenz u
ber gibt
mit 1 , . . . , k B.
5.1.3. Hilfssatz. Seien n IN , f Fn , R Rn und t1 , . . . , tn , t01 , . . . , `
tn = t0n , so folgt:
1. ` f t1 tn f t01 t0n
2. ` Rt1 tn ` Rt01 t0n
Beweis. Dies folgt mittels 5.1.2 aus 4.2.10
5.1.4. Bemerkung und Definition. Mit 5.1.1 lat sich 5.1.5(a) (auch so)
formulieren t1 t01 , ..., tn t0n f t1 tn f t01 t0n . F
ur alle K1 , . . . , Kn
A
A setzen wir f (K1 , . . . , Kn ) = If t1 tn I , wobei t1 K1 , . . . , tn Kn
beliebig seien. Wie gerade festgestellt hangt [f t1 tn ] nicht von der Auswahl
F
ur alle T K sei cA := [c] . Wir setzen a (f ) := f A , (R) := RA ; a(c) :=
f A ([t1 ] , . . . , [tn ] )
([t1 ] , . . . , [tn ] ) RA
5.1.5. Hilfssatz. (a)
[f t1 tn ] ,
` Rr1 tn .
F
ur alle t T S ist I (t) = [t]
F
ur alle LS und x1 , . . . , xn Var paarweise verschieden gilt:
I erf x1 . . . xn es gibt t1 , . . . , tn T S mit der Eigenschaft
I erf
t1 tn
x1 xn .
I (f t1 tn )
f A (I (t1 ), . . . , I (tn ))
Ind.V or.
f A ([t1 ] , . . . , [tn ] )
[f t1 tn ]
[t] .
[t1 ] = [t2 ]
t1 t2
` t1 t2
`
Sei = RT1 tk mit R Rn t1 . . . tn T S . Es folgt:
([t1 ] , . . . , [tn ] ) RA
` Rt1 tn
(c)
es gibt t1 , . . . , tn T S mit
...[tn ]
I [t1x]1 x
erf
n
(a)
es gibt t1 , . . . , tn T S mit
I I
3.3.6
(t )I (t )
n
1
x1 xn
erf
es gibt t1 , . . . , tn T S mit
n
I erf xt11 t
xn
Zu (). Eine einfache Anwendung von 3.1.8 liefert [ [[I xa11 ] xa22 ] ] xann erf .
n
Da x1 , . . . , xn paarweise verschieden sind, ist [ [[I xa11 ] ] xann = I xa11 a
xn
65
oder ` .
Ind.Vor.
` oder `
5.1.7(2.)
` ( ) ` .
5.1.5(3)
Ind.Vor.
66
5.1.7(3)
` .
5.2
5.2.1. Vorbemerkung. Sei (X, ) eine geordnete Menge (d.h. ist eine reflexive,
antisymmetrische und transitive Relation auf X). Ein Element x X heit
maximal (bzgl. ), wenn f
ur alle y X gilt: x y x = y. Eine Teilmenge
K X heit Kette, wenn f
ur alle x, y K gilt: x y oder y x. Offenbar
sind Ketten durch total geordnet. Ist Y X, so heit x X obere Schranke
von Y , wenn y x f
ur alle y Y ist.
Zornsches Lemma: Besitzt jede Kette in X eine obere Schranke, so gibt es
ein maximales Element in X.
F
ur alle x X sei Xx := {y X | x y}.
5.2.2. Korollar. Sei x X. Besitzt jede Kette in X x eine obere Schranke
in X, so gibt es ein maximales Element x0 inN und x X.
5.2.3. Definition. Eine Teilmenge von lS heit maximal widerspruchsfrei
(maxwf ), wenn gilt:
1. wf
2. f
ur alle lS und mit 6= = wv .
5.2.4. Bemerkung. Sei LS mit maxwf . Dann gilt f
ur alle LS
entweder oder ,
insbesondere wegen wf :
entweder ` oder ` .
Maximal widerspruchsfreie Teilmengen von LS sind also negationstreu.
Beweis. Angenommen, ,
/ . Dann gilt wv ( {}) und wv ( {}),
nach 4.3.7(a),(b) also
` und ` ,
im Widerspruch zu wf . Ahnlich,
aber k
urzer f
ur , . Das zeigt die 1.
Behauptung. Daraus folgt weiter ` oder ` . Wegen wf folgt auch
die 2. Behauptung.
e LS mit
e und
5.2.5. Hilfssatz. Sei lS mit wf . Dann gibt es
e
maxwf .
Beweis. Sei M := { LS | , wf } insbesondere M. Dann ist
M eine
S durch geordnete Menge. Sei K eine nicht leere Kette in M . Sei
:= K . Offenbar ist dann K f
ur alle K. Wir zeigen M.
Angenommen, wv . Nach 4.3.5 gibt es dann eine endliche Teilmenge 0 von
mit wv endlich mit. Da K eine Kette ist, gibt es ein 0 K mit 0 0 .
Erneut mit 4.3.5 folgt wv 0 im Widerspruch zur Voraussetzung. Also ist eine
obere Schranke von K in M. Nach Zorns Lemma besitzt (M, ) ein maximales
e f
e gilt.
Element ,
ur das offenbar maxwf und
67
5.3
Erfu
llbarheit widerspruchsfreier Ausdrucksmengen.
Der abz
ahlbare Fall
68
Sei ym := vk und
ym
.
.
m := Xm m m
xm
Wir setzen ferner
m := {1 , . . . , m1 }
und
:= {1 , 2 , . . . }
Offenbar ist
= 1 2 . . . =
nNm
(1)
enthalt Beispiele:
S
S
F
ur jedes x Var und
alle L gibt es ein .t tT mit der Eigenschaft
.
t
()
x x , insbesondere ` x x
Es gibt namlich genau ein n N mit
x = (n) = xn n .
Die Behauptung () gilt dann f
ur t := yn .
(2)
ist widerspruchsfrei:
wf m f
ur alle m N.
Dies zeigen wir durch Induktion nach m. Weegn 1 = und wf gilt die
Behauptung f
ur m = 1. Sei nun m N. Es gelte wf m . Angenommen, wv m+1 .
Sei dann
:= v1 v1 v1 LS .
Nach 4.3.2 folgt aus unserer Annahme
m+1 ` und m+1 ` .
Nach 5.1.2 gibt es 1 , . . . , n m+1 mit
1 n , 1 n S.
Wegen m+1 = m m und wf m ist m {1 , . . . , n }. Wegen (Ant) konnen
wir o.B.d.A.
m =, n
69
Voraussetzung
2. xm m xm m
(Vor)
3. xm m xm m m xym
(S) angewandt auf 2.
m
4. xm m m
5. xm m
m xym
6. m xym
m
m
ym
7. m xm xm m m xym
m
(Vor)
8. m xym
m
m
9. m xym
10. xm m
11.
e
e auch f
Satze von Henkin ist I ein Modell f
ur und wegen
ur .
S
Wie eingangs bemerkt ist T abzahlbar. Also gibt es eine Bijektion N T S .
e
Zusammen mit der surjektiven Abbildung T S A , t 7 [t]
e erhalten wir
eine Surjektion N A , woraus die Behauptung folgt.
e
70
Alles u
brige bleibt ungeandert. Insbesondere ist S 0 abzahlbar und LS LS .
F
ur jedes LS sei
m() := min{j N0 | frvar {v1 . . . , vj }}
Ist ein Satz, so ist m() = 0. Wir setze ferner
0 :=
c(1) c(m())
0
LS .
v1 vm()
frvar 0 = .
Wir zeigen
(2)
wf 0 .
wf 00 f
ur jede endliche Teilmenge 00 von 0 .
(1)
(mj )
,c
I 0 erf j c v1 ,...
,... ,vm
3.3.6
0 (1)
,I 0 (c(mj ) )
I 0 I (c v1),...
erf
,... ,vmj
(v
),...
,(v
)
m
1
I 0 v1 ,... ,vm j erf j
j
I 0 erf j
3.3.3
I erf j ,
71
denn es ist I 0
(4), daher (3) und (2). Wegen (1) und (2) folgt aus 5.3.2
0 besitzt ein hochstens abzahlbares Modell.
(5)
Sei I 00 = (A00 , a00 , 00 ) ein solches Modell., also eine S 0 -Interpretation mit I 00 erf 0 .
Wegen (1) und dem Koinzidenzlemma 3.3.3 konnen wir 00 beliebig wahlen. Wi
setzen
I 00 (vn ) = 00 (vn ) := a00 (c(n) ) = I 00 (c(n) )
(1)
f
ur alle n N.
(mj )
,... ,c
F
ur alle ist I 00 ein Modell f
ur 0 = c v1 ,...
,vm . Mit dem Substitutionslemma
j
3.3.6 folgt
I 00
I 00 (c(1) ), . . . , I 00 (c(mj ) )
erf .
v1 , . . . , vmj
I 00 (c(1) ), . . . , I 00 (c(mj ) )
= I 00 .
v1 , . . . , vmj
abzahlbar befreien, geben aber zunachst noch eine Folgerung aus 5.3.3 an.
5.3.4. Absteigender Satz von Lo
wenheim und Skolem. Sei S eine beliebige,
also nicht unbedingt hochstens abzahlbare, Symbolmenge und LS hochstens
abzahlbar und widerspruchsfrei. Dann gibt es ein Modell mit hochstens abzahlbarer
Tragermenge f
ur .
Beweis. Sei S0 die Menge aller Symbole aus S, die in Ausdr
ucken in vorkommen.
Als hochstens abzahlbare Vereinigung von endlichen Mengen ist S0 hochstens
abzahlbar (1.2.6). Offenbar ist `S0 LS . Nach 5.3.3 gibt es eine S0 Interpretation I = (A, a, ) mit I erf und hochstens abzahlbarer Tragermenge
A. Indem man die Symbole aus S \ S0 ganz beliebig interpretiert z.B. setze
man a(R) := , a(f ) : An A, (a1 , . . . , an ) 7 a1 und a(c) = a f
ur alle
Relationssymbole R bzw. n-stelligen Funktionssymbole bzw Konstantensymbole
aus S \ S0 , erhalt man eine S-Interpretation, die nach dem Koinzidenzlemma
immer noch ein Modell f
ur ist.
72
5.4
Erfu
llbarkeit widerspruchsfreier Ausdrucksmengen.
Allgemeiner Fall
In diesem Abschnitt sei S eine beliebige Symbolmenge. Wir beginnen mit einer
Folgerung aus 5.3.2
5.4.1. Korollar (zu 5.3.2). Sei LS widerspruchsfrei und 0 eine endliche
Teilmenge von . Dann ist 0 erf
ullbar.
Beweis. Wegen wf gilt wf 0 . Sei S0 die Menge aller Symbole aus S, die
in den Ausdr
ucken in 0 vorkommen. Offenbar ist S0 endlich und 0 alss
Teilmenge von LS0 LS erst recht widerspruchsfrei. Nach 5.3.2 gibt es daher
eine S0 -Interpretation I0 = (A0 , a0 , 0 ) mit I0 erf . Wie im Beweis von 5.3.4
erweitern wir diese S0 -Interpretation zu einer S-Interpretation, die nach dem
Koinzidenzlemma ebenfalls ein Modell f
ur o ist.
5.4.2. Definition. F
ur jede Symbolmenge S gibt es nach dem Entgiftungssatz
eine Menge CS und eine Bijektion : LS CS , 7 C := (), mit
CS AS = . Wir erweitern die Menge K der Konstantensymbole S durch
neue Konstanten: K = K {Cx | x V ar, LS }. Alles u
brige bleibt
V ar : a (Cx ) := {
und I := (A , a , ). Da in
asonst
0 keine neuen Konstanten vorkommen, ist I ein Modell f
ur 0 nach dem
Koinzidenzlemma:
1. I erf 0 .
.
i)
I a (C
x
Koinzidenzlemma folgt
erf i , also nach dem Substitutionslemma I erf i Cxi .
Das zeigt (2) und die Behauptung.
5.4.4. Hilfssatz. Sei LS widerspruchsfrei. Dann gibt es eine Symbolmenge
S 0 w S, die sich nur in den Konstantensymbolen von S unterscheiden, und eine
,
Teilemenge von lS und wf , , die Beispiele enthalt.
73
S
n
Sn , =
n ,
LS .
5.5
Der Vollst
andigkeitssatz
b |=
3. |=
b f
ur alle LS , LS
4.
b =||= f
ur alle LS .
74
b`
5.5.3. Korollar. F
ur alle LS , LS gilt |=
b
c1
cn f
ur alle 1 , . . . , n LS . Dann ist
ur alle (LS ) und
S
f
ur alle (L ) .
5.5.5. Hilfssatz. Ist L und (1 , . . . , k1 , k ) eine Beweisf orm f
ur , so
c1 , ...,
ck )
auch (
cj . Entsteht j aus i (i j 1)
Beweis. Ist j eine Startsequenz, so auch
cj aus
durch Anwendung von (Ant), (S), (S),(A) oder (Sub), so entsteht
bi auf die gleiche Weise unter Benutzung von Aufgabe 42. Entsteht j aus l ,
cj aus
ch ,
i (h, i j ic) durch Anwendung von (FU); (Wid). oder (A), so
bi ebenso.
c2 ,
c3 , )
b f
ur
c1 ,
c2 ,
c3 , .
b Diese lat sich in einem mathematischen Beweis
u
bersetzen, d.h. A lat sich aus dem Gruppenaxiomen mathematisch schlieen.
Gruppentheorie ist vollstandig in dem Sinne, da jeder wahre Satz beweisbar
ist.
5.6
1. Es sind aquivalent f
ur alle LS :
(a) |= LS ,
(b) es gilt 0 , 0 endlich ist 0 |=
2. Es sind aquivalent
(a) erf
(b) erf 0 f
ur jede endliche Teilmenge 0 von .
b |=
b`
Beweis.
1. |=
b
5.5.1
c
c
0 `
b 5.5.1 0 |=
b 0 |=
4.1.6
2. (a) (b): ist klar. (b) (a): Nach 4.3.6 ist jede endliche Teilmenge 0
von widerspruchsfrei, nach 4.3.5 also auch . Nach 5.4.5 ist erf
ullbar.
76
1. erf 0 f
ur jede unendliche Teilmenge 0 von o.B.d.A sei 0 = 0 {
Cm Cn | m, n M0 , m 6= n }, 0 endlich, M0 M endlich. Sei :
M0 A eine beliebige injektive Abbildung und I 0 = ( A0 , 0 , 0 ) definiert
M )f allsmM0
durch A0 := A, 0 := , 0 |S = und 0 (CM ) := { (Cbeliebigsonst
Dann
0
ist I ein Modell f
ur 0
5.7
Elementar
aquivalente Strukturen
Sei S eine Symbolmenge. Mit LS0 bezeichnen wir wieder die Menge der Satze in
LS , da.h. die Menge der Ausdr
ucke ohne freie Variable. [vgl. 2.4.5
5.7.1. Definition. F
ur jede Teilmenge LS0 sei
`
:= { LS0 | ` }
und |= := { LS0 | |= }
Nach dem Vollstandigkeitssatz ist ` = |= . heit Theorie, wenn gilt:
(i) LS0
(ii) wf
(iii)
erf )
= ( |= = )
5.7.2. Bemerkung. F
ur alle LS0 ist |= und (|= )|= = |= , also auch
` und (` )` = ` .
Beweis. Wegen (Vor) gilt stets ` , also |= und |= |= )|= . Sei
umgekehrt |= )|= und I ein Modell f
ur . Dann ist I auch ein Modell f
ur
|= , also auch f
ur |= )|= und schlielich f
ur . Das zeigt |= .
5.7.3. Definition. Sei K eine nichtleere Klasse von S-Strukturen. Wir nennen
[vgl. 3.3.4]
Th K := { LS0 | (A, a) erf f
ur alle (A, a) K}
die Theorie von K. Ist K = {(A, a)}, so schreiben wir Th (A, a) statt Th {(A, a)}.
5.7.4. Satz. F
ur jede nichtleere Klasse K von S-Strukturen ist Th K eine Theorie.
Beweis. Nach Definition ist Th K LS0 . Jedes (A, a) K ist ein Modell f
ur
|=
Th K, also Th K erf
ullbar, damit auch widerspruchsfrei. Ist Th K , so ist
jedes (A, a) K auch ein Modell f
ur , also Th K. Mit 5.7.2 folgt Th K =
|=
Th K .
5.7.5. Satz. Ist (A, a) eine S-Struktur, so gilt f
ur alle LS0
entweder Th (A, a) oder Th (A, a).
77
5.8
(ZFC). Auf den metasprachlichen Gebrauch der Mengenlehre konnen wir dabei
ebensowenig verzichten wie auf den Gebrauch von Umgangssprache und nat
urlicher
Logik bei der Untersuchung der Pradikatenlogik erster Stufe. Aber auch der
79
metasprachliche Gebrauch der Mengenlehre wird prazisiert, indem wir ihn auf
eine axiomatische Grundlage stellen. Dies kann man vergleichen mit einer Formulierung
der Axiome der Gruppentheorie in einer algebraischen Grundvorlesung. (ZFC)
wird uns daher in zwei Versionen begegnen:
(a) metasprachlich, um die sogenannte Hintergrundmengenlehre scharfer zu
fassen und
(b) objektsprachlich, um die Mengenlehre in einer geeigneten Sprache erster
Stufe einzufangen.
Tatsachlich kann man mit einem einzigen zweistelligen Relationssymbol bei
der Formulierung von (ZFC) auskommen. Der Einfachheit halber benutzen wir
eine etwas reichhaltigere Symbolmenge, namlich
,
2-stellige Relationssymbole
1-stelliges Funktionssymbol
, , {, } 2-stellige Funktionssymbole
Konstantensymbol.
S sei die Menge dieser 7 Symbole. Wir bemerken noch, da T S und LS abzahlbare
Mengen sind.
Das System ZFC (in den Versionen ZFCH
ZFCO Objektmengenlehre).
Hintergrundmengenlehre und
Das Extensionalit
atsaxiom (EXT)
(a) Zwei Mengen, die die gleichen Elemente enthalten, sind gleich.
(b) xy(z(z x z y) x y)
Das Aussonderungsschema (AUS)
(a) Zu jeder Menge X und zu jeder Eigenschaft E, die sich durch ein LS
formalisieren lat, gibt es die Menge Y aller x X, die die Eigenschaft E
haben. (Wegen (EXT) ist Y eindeutig bestimmt.)
Da wir u
ber LS nicht quantifizieren konnen in der formalen Sprache LS ,
verbergeb sich hier objektsprachlich abzahlbar viele Axiome (daher Axiomenschema).
Sei also LS und frvar = {z, x1 , . . . , xn } mit paarweiswn verschiedenen
Variablensymbolen z, x1 , . . . , xn . Seien x, y weitere Variablensymbole mit x 6= y
und x, y
/ {z, x1 , . . . , xn }. Dann ist der folgende Ausdruck ein Axiom in (ZFC):
(b) x1 . . . xn xyz(z y (z x ))
Welches unter den Elementen von frvar als z gewahlt wird, ist freigestellt.
Das Paarmengenaxiom (PAAR)
(a) Zu je zwei Mengen X, Y gibt es eine Menge Z, deren Elemente genau
X und Y sind. (Wegen (EXT) ist Z eindeutig bestimmt. Wir setzen
{X, Y } := Z.)
80
81