Sie sind auf Seite 1von 82

Einf

uhrung in die mathematische Logik


(Etwas offizielleres Skript zur Vorlesung)

SS 2003

Erstellt mit LATEX von


Christoph Wisnewski
und u
berarbeitet von
Dieter Blessenohl
1

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

3 Semantik der Sprachen 1. Stufe


33
3.1 Strukturen und Interpretationen . . . . . . . . . . . . . . . . . . 33
3.2 Die semantische Folgerungsbeziehung . . . . . . . . . . . . . . . . 38
3.3 Das Koinzidenzlemma und seine Folgen . . . . . . . . . . . . . . 43
4 Die
4.1
4.2
4.3

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

...
...
...
...
...

Dauernd werden in den Mathematikvorlesungen durch eine Abfolge zwingender


Schl
usse Behauptungen bewiesen. Vermutlich ist eines der Hauptcharakteristika
der Mathematik:
Mathematiker m
ussen ihre Behauptungen beweisen

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

Untersuchungen dringend benotigen und auch dauernd benutzen werden, ist


ungeheuer kompliziert und vermutlich nicht vollstandig zu formalisieren. Auf
einige der Schwierigkeiten, mit denen man es zu tun hat, wenn man sich mit
gesprochner oder geschriebener Sprache auseinandersetzt, will ich kurz hinweisen:
Die Bedeutung von Worten, Satzen, ganzen Absatzen ist abhangig vom
Kontext (vom Zusammenhang, aus dem man sie ja bekanntlich auch nicht
reien soll). Ein und derselbe Satz kann ganz Verschiedenes bedeuten, je
nach dem Zusammenhang, in dem er steht.
In der Mathematik sind wir daran gewohnt, da die Partikel und sich

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

als in unserem mathematischen Beispiel. Die Bedeutung von und scheint

abzuhangen vom Inhalt der Aussagen, die durch und zusammengebunden

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

2. sorgfaltige Trennung von Syntax und Semantik


(Syntax handelt vom korrekten Bau, Semantik von der Bedeutung von Satzen).
Zu 1.: Die Sprachen, die in der mathematischen Logik untersucht werden, sind
vollig statische Gebilde, sehr viel einfacher als jede gesprochene Sprache, daf
ur
aber genau definiert und beschrieben, formale Sprachen eben.
Zu 2.: Formale Sprachen werden konstruiert, ohne da den Ausdr
ucken irgendeine
Bedeutung zukommt. Erst durch Interpretation in einem (mathematischen)
Modell kommt Bedeutung ins Spiel.
Die mathematische Logik bedient sich notgedrungen der mathematischen
Umgangssprache und der nat
urlichen Logik. Hier taucht ein Problem auf:
Wir wollen etwas mit Hilfsmitteln untersuchen, namlich
Logik (und Mathematik), die gerade selbst Gegenstand
der Untersuchung sein sollen.
Das sieht so aus, als wollten wir einen Nagel eben mit Hilfe dieses Nagels in die
Wand schlagen oder ein Messer an sich selber schleifen. Ich will die Schwierigkeit
auch gar nicht wegreden, sondern Sie im Gegenteil dazu auffordern, mir gerade
in dieser Hinsicht mitrauisch auf die Finger zu sehen. Die Logiker versuchen
diesem, wie es zunachst scheint, unvermeidlichen Zirkel zu entgehen, indem sie
ein Modell f
ur die Logik schaffen,
die Sprache der Pr
adikatenlogik 1. Stufe

namlich, eine Art Logik im Sandkasten. Uber


dieses Modell nun, diesen

Sandkasten werden wir uns beugen, Aussagen dar


uber in der mathematischen
Umgangssprache formulieren und mit Mitteln der nat
urlichen Logik und der
Mathematik beweisen. Zwei Bemerkungen dazu:
1. Da dieses Modell ein gutes Abbild der logischen Aspekte menschlichen
Denkens und Sprechens ist, kann man nicht beweisen; davon kann man sich
nur u
berzeugen.
2. Das, was wir an Logik und Mathematik bei unserer Untersuchung des Modells
benutzen, ist in der Tat anzusehen wie ein auerhalb des Modells befindliches
Werkzeug Der Hammer, mit dem wir den Nagel in die Wand treiben.
Wir sprechen in diesem Zusammenhang von Metasprache, Hintergrundmengenlehre
etc. Der Untersuchungsgegenstand, die formale Sprache, heit auch Objektsprache.
Aus dem Ganzen geht noch folgendes hervor:
Wenn jemand nicht logisch denken kann, wird er es in
dieser Vorlesung nicht lernen.
Der verdachtig zirkulare Charakter der mathematischen Logik zeigt sich auch
darin, da sie einerseits die Grundlagen der Mathematik erforscht und andererseits
selbst ein Teil der Mathematik ist.
Bevor wir uns mit der Pradikatenlogik 1. Stufe befassen konnen, mu vorweg
ein wenig (recht einfache) Mathematik bereitgestellt werden.
4

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.

Der Satz zeigt, da es bis auf Isomorphie hochstens ein u


ber X freies Monoid
gibt. Von der Existenz freier Monoide handelt der folgende
1.1.4. Satz. Zu jeder Menge X gibt es ein u
ber X freies Monoid.
Beweis. F
ur jedes n N0 sei n := {i N | 1 i n}. Insbesondere ist 0 = .
Ferner sei X n := {f |f : n X ist eine Abbildung} die Menge der n-Tupel
u
ur alle n N0 . Insbesondere ist X 0 = {}. Die Mengen X n , n N0 ,
ber X f
sind paarweise disjunkt. Wir setzen:
S
A := nN0 X n ,
d.h. A ist die Menge aller (endlichen) Tupel u
ur alle n, m N0 , f
ber X. F
X m , g X n definieren wir nun f g := (f, g) X m+n durch
(
f (i)
falls 1 i m
f g := (f, g) : i 7
g(i m) falls m i m + n
Sind z.B.
f

(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,

Ist m = 0, also f = X 0 , so ist f g = g und entsprechend ist auch gf = g.


Also ist ein neutrales Element bez
uglich : A A A. F
ur alle m, n, p
N0 , f X m , g X n und h X p und alle i n + m + p gilt:
(
(f g)(i)
f
ur 1 i m + n,
(f g)h : i 7
h(i (n + m)) f
ur m i m + n,
also

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

Wegen m < i m + n + p 0 < i m n + p bedeutet das:

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
(?)

f = (f (1))(f (2)) (f (m)).

Sei nun (L, ) ein Monoid und : X L eine Abbildung. F


ur alle f X m
und alle m N setzen wir:

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).

Also ist : A L ein Monoidhomomorphismus. F


ur alle x X ist
((x))

= (((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

Dann ist (Z,


) ein Monoid und ein Isomorphismus von (Z,
) auf (A, ). Die

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

Beweis. Sei (Z, ) das u


ber X freie Monoid aus dem Beweis von 1.1.4. Nach
1.1.3 gibt es genau einen Isomorphismus
:ZM
mit |X = idX . Die Abbildung
:ZA
aus dem Beweis von 1.1.4 ist ebenfalls ein Isomorphismus. Also gibt es - nach
Definition von A - genau ein n N0 und genau ein (x1 , . . . , xn ) X n mit
w = ( 1 (x1 , . . . , xn )).
Andererseits ist (x1 , . . . , xn ) = (x1 )(x2 ) (xn ) im Monoid A. Da auch 1 ein
Isomorphismus ist (nach 1.1) folgt (mit wie im Beweis von 1.1.4):
w =
=
=
=

( 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 =
=
=
=

x01 x0n = (x01 ) (x0m )


(1 ((x01 ))) (1 ((x0m )))
( 1 ((x01 ))) ( 1 ((x0m )))
( 1 (x01 , . . . , x0m ))

und daraus (x1 , . . . , xn ) = (x01 , . . . , x0m ), also n = m und x01 = x1 , . . . x0m = xn .


Das zeigt die Eindeutigkeit von n und (x1 , . . . , xn ).
Der folgende Hilfssatz ist die Umkehrung von 1.1.6 und liefert eine interne,
d.h. ohne Bezug auf die Gesamtheit aller Monoide, Charakterisierung freier
Monoide.
1.1.7. Hilfssatz. Sei (M, ) ein Monoid und X M . F
ur jedes w M gebe
es genau ein m N0 und genau ein m-Tupel (x1 , . . . , xm ) X m mit w =
x1 x2 xm . Dann ist M frei u
ber X.
Beweis. Sei X ? ein u
ur das Produkt
ber X freies Monoid. Wir schreiben a b f
von a, b X ? . Nach Definition gibt es genau einen Monoidhomomorphismus
: X ? M mit |X = idx . Ist w M , etwa w = x1 xm mit x1 , . . . , xm X,
so ist
(x1 x2 xm ) = (x1 )(x2 ) (xm ) = x1 x2 xm = w.
Also ist surjektiv. Ist (a) = (b) und a = x1 xm , b = x01 x0n mit
x1 , . . . , x0n X, so ist x1 xm = x01 x0n , also a = b. Daher ist auch
injektiv. Nun folgt leicht, da auch M frei u
ber X ist.
9

1.1.8. Definition. Jedes Element eines u


ber der Menge X freien Monoids M
lat sich auf genau eine Weise als Produkt von Elementen von X schreiben. Wir
nennen die Elemente von X Buchstaben und die Elemente von M Worte u
ber
dem Alphabet X. Ist w = x1 xn mit x1 , . . . , xn X, so heit |w| := n die
L
ange des Wortes w und xi der i-te Buchstabe von w. F
ur alle 0 i n heit
x1 , xi ein Anfangsst
uck von w. Das neutrale Element eM ist das einzige
Element der Lange 0 und heit oft das leere Wort. Die Multiplikation in M
nennen wir auch Konkatenation (Verkettung). F
ur jedes x X besitzt die
Abbildung
(
1 falls y = x
X : X N0 , X (y) :=
0 falls y 6= x
genau eine Fortsetzung zu einem Monoidhomomorphismus (ebenfalls mit X
bezeichnet)
X : (M, ) (N0 , +).
F
ur jedes w = x1 , xn M ist
X (w) = #{i n|xi = x}
und es gilt
X (ww0 ) = x (w) + X (w0 ).
Im allgemeinen benutzen wir X ? als Bezeichnung f
ur ein freies Monoid u
ber X.

1.2

Abz
ahlbarkeit

1.2.1. Lemma. Sei X eine nicht-leere Menge. Es sind aquivalent:


1. Es gibt eine surjektive Abbildung : N X.
2. Es gibt eine injektive Abbildung : X N.
Beweis. (1)(2): F
ur jedes x X ist 1 (x) := {i N|i = x} 6= , da
surjektiv ist. Jede nicht-leere Teilmenge von N besitzt ein kleinstes Element [N
ist wohlgeordnet - aquivalent zum Prinzip der Vollsta ndigen Induktion]. Mit
min T bezeichnen wir dieses kleinste Element. Wir definieren : X N durch
(x) := min 1 (x).
Dann ist (x) 1 (x), also
((x)) = x,
d.h. = idX . Daraus folgt, da injektiv ist.

10

(2)(1): : (X) X sei die Umkehrfunktion zu : X (X). Wir


definieren : N X wie folgt:

(1) := (min
(X))

(2) := (min{(x)\{min
(X)}})

= (min{(x)\{((1))}})

(3) := (min{(x)\{((1)),
((2))}})
und allgemein

(min{(x)\{((1)), . . . , ((n 1))}})


(n) :=
falls (x) 6= {((1)), . . . , ((n 1))}

(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.

Element von (X) ist.


1.2.2. Definition. Eine Menge X heit h
ochstens abz
ahlbar (oder abz
ahlbar ),
wenn es eine injektive Abbildung : X N gibt. Ist X auerdem nicht
endlich, so heit X abz
ahlbar (oder unendlich abz
ahlbar ). Teilmengen hochstens
abzahlbarer Mengen sind hochstens abzahlbar.
1.2.3. Bemerkung. Ist X eine endliche Menge, so gibt es ein n N0 und eine
Bijektion : n X. Da 1 eine injektive Abbildung von X in N ist, ist jede
endliche Menge hochstens abzahlbar.
Als Korollar zum Beweis von 1.2.1 notieren wir noch
1.2.4. Bemerkung. Ist X eine hochstens abzahlbare Menge, die nicht endlich
ist, so gibt es eine Bijektion von N auf X.
1.2.5. Satz. Sei X eine nicht-leere Menge und X ? ein u
ber X freies Monoid.
?
Ist X hochstens abzahlbar, so ist X abzahlbar.
Beweis. Nach 1.2.3 bzw. 1.2.4 gibt es n N und eine Bijektion : n X
(falls X endlich ist) bzw. eine Bijektion : N X (falls X nicht endlich
ist). Sei P := {2, 3, 5, 7, 11, 13, . . . } die Menge der Primzahlen. Bekanntlich ist
P nicht endlich und, da idP : P N injektiv ist, abzahlbar. Nach 2.4 gibt es
eine Bijektion : N P. Konstruiert man wie im Beweis von 2.1, so ist
(1) = 2, (2) = 3, (3) = 5, . . . . Allgemein ist bei dieser Konstruktion (i) in
11

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

eine surjektive Abbildung von N auf

n Xn

und erneut

n Xn

hochstens abzahlbar.

1.2.7. Anwendung. N N ist abzahlbar: F


ur alle i N sei Xi := {(i, n)|n
N} N N. Offenbar ist N N die (disjunkte) Vereinigung aller Xi , i N.
F
ur jedes i N ist die Abbildung i : N Xi , n 7 (i, n) bijektiv, also Xi
hochstens abzahlbar. Mit 1.2.6 folgt die Behauptung.

13

Kapitel 2

Syntax der Sprachen 1.Stufe


Wir stellen zunachst am Beispiel der Gruppentheorie ein Problem vor.
Gruppentheorie handelt von algebraischen Strukturen, die man Gruppen nennt.
Der Begriff Gruppe wird definiert durch endlich viele Eigenschaften, die wir die
Axiome der Gruppentheorie nennen. In der Anfangervorlesung u
ber Lineare
Algebra lernt man diese Axiome (evtl. in verschiedenen Fassungen) gewohnlich
kennen. Jede Gruppe ist ein Modell f
ur die gruppentheoretischen Axiome.

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

Das Alphabet einer Sprache 1.Stufe

In vielen mathematischen Theorien spielen Verkn


upfungen eine Rolle. Eine
Verkn
upfung auf einer Menge X ist eine Abbildung von X X in X. Auch
andere Abbildungen spielen eine Rolle, in der Gruppentheorie z.B. die Abbildung
g 7 g 1 . Abbildungen sind 1-stellig (wie g 7 g 1 oder x 7 sin x), 2-stellig (wie
(x1 , x2 ) x21 + x22 ) oder allgemeiner n-stellig. Wir brauchen f
ur jedes n N
Zeichen (oder Symbole) f
ur n-stellige Abbildungen.
In vielen mathematischen Theorien gibt es spezielle Elemente, sogenannte Konstanten
(z.B. das neutrale Element eines Monoids, die Zahl 2 usw.). Wir benotigen
Zeichen (oder Symbole) f
ur Konstanten.

Oft spielen Relationen eine Rolle (z.B. Ordnungsrelationen, Aquivalenzrelationen).


Auch Relationen haben eine Stellenzahl. Es gibt 2-stellige, aber auch mehrstellige
und 1-stellige Relationen. Wir benotigen f
ur jedes n N
Zeichen (oder Symbole) f
ur n-stellige Relationen.
In mathematischen Aussagen findet man haufig Floskeln wie
f
ur alle x oder es gibt ein x0 .

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 , . . . }
{, , }
{}
{(, )}

Menge der Variablensymbole


Menge der logischen Symbole
Gleichheitszeichensymbol
Klammernsysmbole

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

2.1.2. Bemerkung. A ist im Alphabet jeder Sprache 1. Stufe enthalten. Die


Menge S wahlt man jeweils passend zur untersuchten Theorie (f
ur die Untersuchung
der Gruppentheorie etwa benotigt man ein 1-stelliges und ein 2-stelliges Funktionssymbol).

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

Im folgenden sei A?S irgendein u


upfung in A?S
ber AS freies Monoid. Die Verkn
(die sogenannte Konkatenation) wird durch einfaches Nebeneinanderschreiben
notiert. Mit 2 bezeichnen wir das neutrale Element von A?S . Z.B. ist
v1 )v1 v1
ein Element von A?S . Eine metasprachliche Aussage u
ber A?S ist z. B.
(cf ((cv2 A?S .
Wir nennen die Elemente von A?S auch Zeichenketten u
ber dem Alphabet AS .
Die zu definierende Sprache der Pradikatenlogik 1.Stufe ist eine gewisse Teilmenge
von A?S , die wir in den folgenden zwei Abschnitten definieren werden.

2.2

Die Terme einer Sprache 1. Stufe

2.2.1. Definition. Sei X A?S . Wir nennen X termabgeschlossen, wenn gilt


1. Var K X
2. f
ur alle n N, x1 , . . . , xn X, f Fn ist f x1 x2 xn X.
(Hierbei sind f, x1 , . . . , xn metasprachliche Variablen, also Variablen f
ur ein
Funktionssymbol und f
ur Zeichen ketten.)
2.2.2. Bemerkung. Es gilt:
1. A?S ist termabgeschlossen.
ur alle X M, so ist
2. Sei M P(A?S ). Ist X termabgeschlossen f
termabgeschlossen.

XM X

Insbesondere ist der Durchschnitt aller termabgeschlossenen Mengen selbst termabgeschlossen.


2.2.3. Definition. Wir setzen
\
T S := {X A?S | X termabgeschlossen }
Die Elemente von T S heien S-Terme (oder kurz Terme).
Offenbar ist T S die bez
uglich Inklusion kleinste termabgeschlossene Teilmenge
von A?S .
16

2.2.4. Hilfssatz. Es gilt


1. 2
/ TS
2. In keinem Term kommen die Buchstaben
, , , , ), (
vor und ebenfalls kein Relationssymbol.
Beweis. 1. A?S \{2} ist termabgeschlossen, wie man unschwer sieht. Also ist
T S A?S \{2}.
2. Sei X die Menge aller Worte w A?S in denen die oben aufgef
uhrten
Buchstaben nicht vorkommen. Wie man leicht sieht, ist X termabgeschlossen,
also T S X.
2.2.5. Definition. Wir definieren rekursiv Teilmengen T S,k A?S wie folgt:
1. T S,1 := Var K
2. Sind T S,1 , . . . , T S,k1 bereits definiert, so erklaren wir T S,k durch
T S,k :

es gibt ein n N, t1 , . . . , tn T S,1 T S,k1


und f Fn mit = f t1 tn ,

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

Wir zeigen nun, da V termabgeschlossen ist. Nach Definition ist


V ar K = T S,1 V . Sei ferner n N, f Fn und x1 , . . . , xn V . Dann gibt
es ein k N mit
x1 , . . . , xn T S,1 T S,k .
Es folgt = f x1 xn T S,k+1 V . Also ist V termabgeschlossen und nach
Definition von T S daher T S V .
2.2.8. Lemma. Sind t, t0 T S , A?S mit t0 = t, so ist = 2, d.h. t0 = t.
Kein echtes Anfangsst
uck eines Terms ist ein Term.
Beweis. Sei X die Menge aller A?S mit folgenden Eigenschaften
1. ist kein echtes Anfangsst
uck eines Termes,
2. kein echtes Anfangsst
uck von ist ein Term.
Wir zeigen, da X termabgeschlossen ist. Dann ist namlich T S X, und alle
Elemente von T S haben die Eigenschaft (2).
Sei zunachst b VarK. Dann ist |b| = 1 und 2 das einzige echte Anfangsst
uck
von b. Wegen 2.2.4 hat b die Eigenschaft (2). Ware b echtes Anfangsst
uck, also
erster Buchstabe, von t T S , so ware |t| > 1 und nach 2.2.7
t = f t1 tn T S,k
f
ur geeignete k, n N, k 2, f Fn , t1 , . . . , tn T S . Dann ware b = f Fn
im Widerspruch zu Fn (Var K) = . Also ist Var K X.
Seien nun n N, x1 , . . . , xn X und f Fn . Angenommen, f x1 xn
/ X.
1. Fall: f x1 xn hat die Eigenschaft (1) nicht, d.h. es gibt einen Term t und
ein A?S mit 6= 2 und
t = f x1 xn .
Nach 2.2.7 ist t = gt1 tm mit geeigneten m N, g Fn und t1 , . . . , tm T S .
Ein Vergleich der beiden Zeichenketten liefert
f = g und n = m.
Es ist also
f t1 tn = f x1 xn .
Wegen 6= 2 gibt es ein i n mit xi 6= ti . Sei i minimal mit dieser Eigenschaft.
Dann ist also
f x1 , xi1 t1 tn = f x1 xi1 xi xn ,
also
ti tn = xi xn .
18

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.

Lat man in (a + b) (c + d) einfach die Klammern weg, so entsteht


(2) a + b c + d,
was wegen der Konvention Punktrechnung geht vor Strichrechnung etwas

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),

was in polnischer Notation zu


+ + a bcd

bzw.

+ a + bcd

wird. Da in polnischer Notation geschriebene Terme eindeutig interpretierbar


sind, zeigt unser Hauptsatz u
ber den Aufbau der Terme.

2.3

Die Ausdru
cke einer Sprache 1. Stufe

2.3.1. Definition und Bemerkung. Seien m N, t, t0 , t1 , . . . , tm T S und


R Rm . Wir nennen die Zeichenketten
t t0 und Rt1 tm
atomare Ausdr
ucke (vom Typ G beziehungsweise vom Typ R).
Nach 2.2.4 kommt der Buchstabe in t t0 genau einmal und in Rt1 tn
gar nicht vor. Sind R Rm , R0 Rn , t1 , . . . , tm , t01 , . . . , t0n T S und ist
Rt1 tm = R0 t01 t0n , so ist R = R0 als erster Buchstabe dieser Zeichenkette
und t1 tm = t01 t0n , wegen 2.2.9, also n = m, t1 = t01 , . . . , tm = t0m .
Jeder atomare Ausdruck legt seinen Typ und die
Bestandteile t, t0 , t1 , . . . , tm , R eindeutig fest.
2.3.2. Definition. Sei X A?S . Wir nennen X ausdrucksabgeschlossen, wenn
gilt:
20

1. alle atomaren Ausdr


ucke gehoren zu X
2. f
ur alle , X und alle Variablensymbole x gilt:
, ( ), x X.
Zum Beispiel ist v1 v1 v1 in jeder ausdrucksabgeschlossenen Menge enthalten.
2.3.3. Bemerkungen. (i) A?S ist ausdrucksabgeschlossen.
(ii)
Sei M P(A?S ). Ist X ausdrucksabgeschlossen f
ur alle X M, so ist
T
X
ausdrucksabgeschlossen.
XM
Beliebige Durchschnitte ausdrucksabgeschlossener
Mengen sind ausdrucksabgeschlossen.
Insbesondere ist der Durchschnitt aller ausdrucksabgeschlossenen Mengen selbst
ausdrucksabgeschlossen.
2.3.4. Definition. Wir nennen
\
LS := {X A?S | X ausdrucksabgeschlossen }
die zu S geh
orenden Sprache (der Pr
adikatenlogik) 1. Stufe. Die Elemente von
S
L heien S-Ausdr
ucke (oder kurz Ausdr
ucke). Offenbar sind alle atomaren
Ausdr
ucke in LS , also selbst Ausdr
ucke.
2.3.5. Beispiele. Sei F2 ein 2-stelliges Funktionssymbol und e K ein
Konstantensymbol. Dann sind
v1 v2 , v2 v3 , v1 v2 v3 , v1 v2 v3 , ev1 und v1 e
Terme. Ferner sind
v1 v2 v3 v1 v2 v3 ,

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

der Aussage es gibt ein neutrales Element bez


uglich der Verkn
upfung ist:

(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

:=

Menge der atomaren Ausdr


ucke
21

und definieren LS,k f


ur k 2 rekursiv durch
LS,k

:
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}.

2.3.8. Hilfssatz. Sei X A?S und X ausdrucksabgeschlossen. Dann ist LS,k


X f
ur alle k N.
Beweis. Nach Definition ist LS,1 X. Sind LS,1 LS,k1 X, so ist auch
LS,k X, da X ausdrucksabgeschlossen ist (vgl. auch 2.2.6).
2.3.9. Satz.S (i) LS,2 LS,3 . . . und LS,1 LS,k = f
ur k 2.
S
S,k
(ii) L = kN L .
S
Beweis. Nach 2.3.7 ist V := kN LS,k LS . Nach 2.2.4 enthalt kein atomarer
Ausdruck einen der Buchstaben , (, ), , . F
ur k 2 enthalt jede Zeichenkette
S,k
in L
wenigstens einen dieser Buchstaben. Also ist LS,1 LS,k = f
ur k 2.
Genau wie im Beweis von 2.2.7 folgt T S,2 T S,3 . . . . Es gilt also (1).
Wir zeigen nun, da V ausdrucksabgeschlossen ist. Wegen LS,1 V ist jeder
atomare Ausdruck in V . Seien weiter , V und x Var. Dann gibt es k N
mit , LS,1 LS,k . Nach Definition ist dann
, ( ), ( ), ( ), ( ), x, x LS,k V.
Also ist V ausdrucksabgeschlossen und daher LS V . Es folgt (2).
2.3.10. Definition. F
ur jeden Ausdruck setzen wir
Stufe () := min{k N | LS,k }.
(Nach 2.3.9 ist {k N | LS,k } =
6 .)
2.3.11. Bemerkungen. (1)

Ist ein Ausdruck, so ist || 2.

(2) Jeder Ausdruck enthalt das Gleichheitssymbol oder ein Relationssymbol.


Insbesondere ist kein Term ein Ausdruck.
(3) Jeder nicht atomare Ausdruck enthalt wenigstens einen Buchstaben aus
{, , , (, )}. Der Anfangsbuchstabe eines nicht atomaren Ausdrucks ist aus
{, (, }.
Beweis. Sei LS . Ist Stufe () = 1, also atomar, so ist oder ein
Relationssymbol ein Buchstabe von und || 2. Ist k := Stufe () 2,
so gibt es , LS,1 LS,k1 und x Var (gegebenenfalls) mit
=
oder = ( )
oder = x
22

Also gilt (3) f


ur ein solches . Da 2
/ LS ist, ist auch in diesem Falle || 2.
Daher gilt insgesamt (1). F
ur , gilt die Aussage (2) per Induktion nach der
Stufe, woraus die Eigenschaft (2) auch f
ur folgt.
2.3.12. Definition. F
ur jede Zeichenkette A?S sei l := ( () die Anzahl
der Linksklammern in , r := ) () die Anzahl der Rechtsklammern in und
k := l + r.
(Achtung: l, r, k sind metasprachliche Zeichen und d
urfen nicht zum
S
Alphabet A geh
oren.)
2.3.13. Bemerkung. F
ur alle LS ist l = r.
Beweis. Sei X := { A?S |l = r}. Man pr
uft leicht nach, da X ausdrucksabgeschlossen
S
ist. Daher ist L X.
2.3.14. Hilfssatz. Ist LS und ein echtes Anfangsst
uck von mit k 6= 0,
so ist l > r.
Beweis. Sei X := { LS |ist ein echtes Anfangsst
uck von mit k 6= 0,
so ist l > r, d.h. X sei die Menge aller derjenigen Ausdr
ucke, f
ur die die
Behauptung gilt. Wir wollen X = LS zeigen. Dann gen
ugt es zu zeigen, da
X ausdrucksabgeschlossen ist. F
ur alle atomaren Ausdr
ucke ist k = 0.
Insbesondere enthalt X alle atomaren Ausdr
ucke. Sei weiter X und
ein echtes Anfangsst
uck von := mit k 6= 0. Dann ist || 1, also
l = l > r = r. Daher ist = X.
Seien weiter 1 , 2 X und ein echtes Anfangsst
uck von (1 2 ) mit k 6= 0.
Wir unterscheiden folgende Falle:
1.
2.
3.
4.
5.
6.

=
=
=
=
=
=

(1 2
(1
(1
(1
(
(

wobei 2 6= ein echtes Anfangsst


uck von 2 ist.

wobei 2 6= ein echtes Anfangsst


uck von 2 ist.

Nach 2.3.13 ist l1 = r1 und l2 = r2 . Im 1. Fall ist


l = 1 + l1 + l2 und r = r1 + r2
und folglich l = 1 + r. Im 2. und 5. Fall ist l r wegen 1 , 2 X und
folglich
l = 1 + l1 + l > r1 + r = r
bzw. l = 1 + l > r = r
Im 3. und 4. Fall ist
l = 1 + l1 = 1 + r1 > r1 = r.
23

Im 6. Fall ist l = 1 und r = 0. Also ist (1 2 ) X. Ist schlielich


X, x V ar und ein echtes Anfangsst
uck von x mit k 6= 0, so ist
= x und ein echtes Anfangsst
uck von mit k = k 6= 0. Wegen X
folgt
l = l > r = r.
Also ist x X.
2.3.15. Hilfssatz. Sei A?S . Ist oder x ein Ausdruck, so ist auch
ein Ausdruck.
Beweis. Wir beweisen den Satz durch Kontraposition. Sei
/ LS und
X := LS \{, x}.
Wir zeigen, da X ausdrucksabgeschlossen ist. Denn dann ist X LS und die
Behauptung bewiesen. Nach 2.2.4 sind und x keine atomaren Ausdr
ucke.
Also enthalt X alle atomaren Ausdr
ucke. Seien , X und x Var. Da (
der 1. Buchstabe in ( ) ist, ist dieser Ausdruck in X. Ist
/ X, so ist
= (wegen LS ). Es folgt = X LS , ein Widerspruch zur
Voraussetzung
/ LS . Ebenso schliet man f
ur x. Also ist X ausdrucksabgeschlossen.
2.3.16. Lemma. Seien , 0 LS und A?S mit 0 = . Dann ist = 2,
d.h. = 0 .
Kein echtes Anfangsst
uck eines Ausdrucks ist ein Ausdruck.
Beweis. Sei X := { LS | kein echtes Anfangsst
uck von ist ein usdruck}.
Es ist also X die Menge aller Ausdr
ucke f
ur die die Behauptung des Lemmas
zutrifft. Es gen
ugt zu zeigen:
(?)

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)

Alle atomaren Ausdr


ucke liegen in X.

Im weiteren seien , X und x ein Variablensymbol. F


ur jedes Anfangsst
uck
6= 2 von ( ) ist k 6= 0. Wegen 2.3.13 und 2.3.14 ist kein echtes
Anfangsst
uck dieses Ausdruck ein Ausdruck. Wir haben gezeigt:
24

( ) X.

(2)

Es bleibt zu zeigen:
, x X.

(3)

Wegen LS gilt , x LS . Ist = oder x = oder x =


mit LS , A?S , so ist || 2 nach 2.3.11(1). Insbesondere ist = oder
= x, wobei = , also ein Anfangsst
uck von ist. Wegen LS ist
S
L nach 2.3.15. Wegen X folgt = 2. Das zeigt (3). Damit folgt (?)
und die Behauptung.
2.3.17. Korollar. Seien m, n N, 1 , . . . , m , 01 , . . . , 0n T S . Ist 1 m =
01 0n , so ist n = m, 1 = 01 , . . . , m = 0m .
Beweis. Der Beweis von 2.2.9 lat sich fast wortlich u
bernehmen. Man verwendet
nun 2.3.16 statt 2.2.8
2.3.18. Korollar. Das von der Menge LS erzeugte Teilmonoid von A?S ist frei
u
ber LS . Wir bezeichnen dieses Monoid mit (LS )? .
Beweis. 2.3.17 und 1.1.7.
2.3.19. Hauptsatz u
ber den Aufbau der Ausdru
cke. Es seien
G : T S T S LS ,

(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

Freie und gebundene Variablen, Substitution

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]

:=
:=
:=
:=
:=
:=

var [t1 ] var [t2 ],


var [t1 ] var [tm ],
frvar [],
frvar [] frvar [], f
ur alle {, , , },
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 ,

so ist frvar [] = var [].


2.4.4. Beispiele. 1.

In Beispiel 2.3.20 ist

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 .

2.4.7. Hilfssatz. Sei V eine endliche


Teilmenge von Var und 0 : V T S
P
eine Abbildung. Ist t T S , so ist V,0 t T S .
Beweis. Wir beweisen den Satz mittels Induktion
nach der Stufe. Ist Stufe t = 1,
P
so ist t Var K. Ist dann t K, so ist V,0 t = t T S . Ist t Var, so ist:
(
P
t
falls t
/ V,
V,0 t =
0 t falls t V.
P
S
Also ist
V,0 t T , falls Stufe t = 1 ist. Sei Stufe t > 1. Dann gibt es
nach 2.2.12 (eindeutig bestimmte) n N, f Fn und t1 , . . . , tn T S mit
t = f t1 tn und Stufe t1 , . . . , Stufe tn < Stufe t. Nach Induktionsvoraussetzung
ist dann
P
S f
ur 1 i n
V,0 ti T
27

und daher auch


P
P
P
P
t1 ][ V,0 tn ]
V,0 t = [ P
V,0 f ][ V,0P
= f [ V,0 t1 ] [ V,0 tn ] T S .

Entscheidend ist die folgende


2.4.8. Definition. Seien n N0 , V = {x1 , . . . , xn } Var, dabei x1 , . . . , xn
paarweise verschieden, ferner t1 , . . . , tn T S und 0 : V T S , xi
7 ti . F
ur
alle atomaren Ausdr
ucke setzen wir:
P
tn
xt11 x
:= V,0 .
n
Aus 2.4.7 und der Definition der atomaren Ausdr
ucke folgt:
tn
xt11 x
ist ein atomarer Ausdruck.
n

Sei nun LS mit k := Stufe > 1. F


ur alle LS mit Stufe < k, alle
m N0 , alle V 0 = {x01 , . . . , x0m } Var, x01 , . . . , x0m paarweise verschieden und
alle t01 , . . . , t0m T S sei

t01 t0m
LS
x01 x0m

bereits definiert und es gelte


 0

t1 t0m
Stufe 0
= Stufe ().
x1 x0m
Ist nun = mit LS , so ist Stufe < k und wir setzen


t1 tn
t1 tn

:=
.
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

genauso wie dies f


ur atomare Ausdr
ucke per definitionem der Fall ist. Dies zeigt
man leicht durch Induktion nach der Stufe.
2.4.10. Beispiele. Im folgenden seien h F1 , g F2 , f F3 , R <2 .
(i)
gv2 v2 f v1 hv1 v3
(v1 v1 v2 Rv1 v2 )
=
v1 v2


gv2 v2 f v1 hv1 v3
gv2 v2 f v1 hv1 v3
=
v1 v1 v2
Rv1 v2
v1 v2
v1 v2




f v1 hv1 v3 v4
=
v4 v1 v2
Rgv2 v2 f v1 hv1 v2
v2 v1
= (v4 v4 f v1 hv1 v3 Rgv2 v2 f v1 hv1 v2 )
(ii) Sei := v1 v2 ((Rv1 v1 v1 v2 ) v3 v4 ). Es ist frvar = {v3 , v4 }
und daher
gv2 v2 f v1 hv1 v2

=
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

den eingesetzten Termen erstrecken. Deshalb werden die quantifizierten


Variablen durch unbelastete ersetzt, da die einzusetzenden Terme nicht
angetastet werden sollen.
2.4.11. Einfache Eigenschaften der Substitution. (a) F
ur alle T S
S
L und alle Sn ist

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

xi1 xie \{x}

=
h
i

frvar ti1 tie vj \{v } im Fall II


j
xi1 xie x


ti tie u
= frvar 1
\{u} nach 2.4.9(i)
xi1 xie x
[[frvar \{xi1 , . . . , xie , x}] var [ti1 , tie u]]\{u}
nach Induktionsvoraussetzung
= [[frvar \{xi1 , . . . , xie }] var [ti1 , tie u]]\{u}
= [[frvar \{x1 , . . . , xn }] var [ti1 , tie u]]\{u}
(
[frvar \{x1 , . . . , xn }] var [ti1 tie ] im Fall I
= [frvar \{x1 , . . . , xn }] var [ti1 tie ] im Fall II
[frvar \{x1 , . . . , xn }] var [t1 tn ].

31

Kapitel 3

Semantik der Sprachen 1.


Stufe
3.1

Strukturen und Interpretationen

Wir wollen die Funktions-, Relations-, Konstanten- und Variablensymbole, ebenso


die Terme und Ausdr
ucke in mathematischen Strukturen interpretieren, d.h.ihnen

eine mathematische Bedeutung geben.


Ist A eine Menge und n N, so nennen wir Abbildungen
f : An A
n-stellige Funktionen u
upfung
ber A. Ist n = 2, so sprechen wir auch von einer Verkn
auf A. Teilmengen R von An nennen wir n-stellige Relationen auf A.
3.1.1. Definition. Eine S-Struktur ist ein Paar (A, a), wobei A eine Menge
und a eine Abbildung mit Definitionsbereich S ist, die jedem n-stelligen Funktionssymbol
f Fn eine n-stellige Funktion u
ber A, also
a(f ) : An A,
jedem n-stelligen Relationssymbol R Rn eine n-stellige Relation auf A, also
a(R) An ,
jedem Konstantensymbol c K ein Element von A, also
a(c) A
zuordnet. Statt a(f ), a(R), a(c) schreiben wir oft f A , RA , cA .
1}.
F
3.1.2. Beispiel. Sei F2 = {#, }, R2 = {0}, K = {0,
ur n 6= 2 sei Fn =
= Rn . Zum Beispiel ist dann N0 mit der u
blichen Addition, Multiplikation
usw. eine S-Struktur, wenn man setzt
# N0

:= +

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

3.1.3. Definition. Sei (A, a) eine S-Struktur. Abbildungen


: Var A
nennen wir Belegungen. Jedes Tripel (A, a, ), wobei eine Belegung ist, nennen
wir eine S-Interpretation.
Statt von S-Strukturen und S-Interpretattionen reden wir oft kurz von Strukturen
und Interpretationen.
3.1.4. Definition. Sei I = (A, a, ) eine S-Interpretation. Wir definieren die
Abbildung
I? : T S A
induktiv u
ber den Aufbau der Terme wie folgt:
1. I ? (x) := (x) f
ur alle x V ar
2. I ? (c) := cA f
ur alle c K
3. I ? (f t1 tn ) := f A (I ? (t1 ), . . . , I ? (tn ))
f
ur alle n N, f Fn , t1 , . . . , tn T S .

(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

Unser nachstes Ziel ist es, die Ausdr


ucke so zu interpretieren, da sie sich in
wahre oder falsche Aussagen verwandeln.

34

3.1.8. Definition. Sei I = (A, a, ) eine S-Interpretation. Wir definieren induktiv


u
ucke f
ur jeden Ausdruck eine Aussage I[] (oder
ber den Aufbau der Ausdr
I oder I ) u
ur alle t, t0 , t1 , . . . , tm
ber die S-Struktur (A, a). Zunachst setzen wir f
T S , R Rm
I[t t0 ]
: I(t) = I(t0 )
I[Rt1 tm ] : (I(t1 ), . . . , I(tm )) a(R)
Weiter setzen wir f
ur alle , LS und alle x Var:
I[]
I[( )]
I[( )]
I[( )]
I[( )]
I[x]
I[x]

:
:
:
:
:
:
:

I[] gilt nicht (in (A, a)),


I[] und I[] gelten ,
I[] oder I[] gilt ,
wenn I[] gilt, so auch I[],
I[] gilt genau dann, wenn I[] gilt ,
f
ur alle a A gilt I xa [],
es gibt ein a A, so da I xa [] gilt

Wir nennen I ein Modell f


ur LS oder sagen I erf
ullt und schreiben
dann I erf , wenn I[] eine wahre Aussage u
ber (A, a) ist. Ist LS , so
heit I ein Modell f
ur , geschrieben I erf , wenn I ein Modell f
ur alle
ist. Die Relation erf zwischen Interpretationen und Ausdr
ucken heit
die Modellbeziehung. Jede Interpretation ist ein Modell f
ur LS .
1}
und (N0 , +, , <, 0, 1) eine S-Struktur
3.1.9. Beispiel. Sei S = {#, , , 0,
wie in 3.1.2. Ferner sei : Var N0 eine Belegung der Variablensymbole und
I = (N0 , a, ), wobei a(#) = + usw. wie in 3.1.2 sei. Schlieilich sei
1 #v1 v2 1).

:= v1 ( 0v
Nun gilt:
I[]

a
1 #v1 v2 1]

[ 0v
v1
a
1 ] und I a [#v1 v2 1]

es gibt ein a N0 mit I [ 0v


v1
v1
2 ) = 1.
es gibt ein a N0 mit 0a < a und a + (v
es gibt ein a N0 mit I

Dabei ist die zu I va1 gehorende Belegung, d.h.


(
a

(x)
=
(x)

falls x = v1 ,
falls x =
6 v1 .

Wegen v2 6= v1 folgt also


I[] es gibt ein a N0 mit 0 < a und a + (v2 ) = 1
Diese Aussage u
ber (N0 , +, , <, 0, 1) ist offenbar genau dann wahr, wenn (v2 ) =
0 ist. Mit a := 1 gilt namlich
35

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 []

usw. Durch diese Manahme w


are I[] dann nach vollstandiger Auflosung
eine eindeutig bestimmte Zeichenkette, die zusatzlich (mathematische) Bedeutung
hatte. Mir scheint das eher zur Verwirrung beizutragen, weshalb ich darauf
verzichte. I[] ist eben eine mathematische Aussage, die auf viele Arten mitgeteilt
werden kann.
2. Bei der rekursiven Auflosung von I[] gema 3.1.8 mu man Vorsicht walten
lassen, wenn mehrere Quantoren auftreten, wie zum Beispiel in
I[xy].
Im ersten Schritt erhalten wir
f
ur alle a A gilt I xa [y].
F
ur jedes einzelne a A ist also nun I xa [y] aufzulosen. Sei also a A. Dann
geht es weiter mit
f
ur alle b A gilt ((I xa ) yb )[]
f
ur alle b A, und nicht etwa f
ur alle a A. Durch die Voraussetzung sei

also a A steht a jetzt nicht mehr als Variable f


ur die Elemente von A zur
Verf
ugung. Der Buchstabe a hat nun eine bestimmte Bedeutung. Dies gilt auch,
wenn x = y ist. In diesem Falle ist
a b
b
b
(I ) = I = I .
x y
x
y
36

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

Die semantische Folgerungsbeziehung

3.2.1. Definition. Sei LS und LS . Wir sagen


folgt (semantisch) aus
und schreiben |= , wenn f
ur alle Interpretationen I gilt:
I erf = I erf ,
d.h. wenn jedes Modell f
ur auch ein Modell f
ur ist. Statt {} |= schreiben
wir nur |= .
heit allgemeing
ultig, wenn |= gilt. Wir schreiben dann einfach |= (

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

3.2.2. Beispiel. 1. Sei S = {, e}, wobei ein 2-stelliges Funktionssymbol und


e ein Konstantensymbol sei. Eine S-Struktur ist eine Menge G zusammen mit
einer Verkn
upfung G : G G G und einem ausgezeichneten Element eG .
Sei nun
:= {v1 v2 v3 v1 v2 v3 v1 v2 v3 , v1 ev1 v1 , v1 v2 v2 v1 e}.
Da in alle Variablen gebunden sind, kommt es in einem Modell mf =
(G, a, ) f
ur auf die Belegung nicht an. Jede Halbgruppe (G, ) mit einem
linksneutralen Element eG , so da f
ur jedes g G die Gleichung g 0 g = eG
losbar ist (Existenz eines Linksinversen bez
uglich eG ) ist ein Modell f
ur bei
beliebiger Belegung .
Bemerkenswerterweise lat sich f
ur jede solche Halbgruppe beweisen, da eG
auch rechtsneutral (also das eindeutig bestimmte neutrale Element) und jedes
Linksinverse von g auch schon ein Rechtsinverses zu g, also ebenfalls eindeutig
bestimmt ist. Anders gesagt: Jede solche Halbgruppe ist eine Gruppe.
Den kurzen Beweis daf
ur stellen wir vor, wobei wir zur Vereinfachung die
Verkn
upfung in G durch einfaches Nebeneinanderschreiben notieren: Sei g G.
Dann gibt es ein g 0 G mit g 0 g = eG , ferner ein g 00 G mit g 00 g 0 = eG . Es folgt:
g = eG g = (g 00 g 0 )g = g 00 (g 0 g) = g 00 eG = g 00 (eG eG ) = (g 00 eG )eG = geG .
Also ist eG auch rechtsneutral und, nach bekannter Schluweise, dann eindeutig
bestimmt. Die Gleichungskette zeigt auerdem g 00 = g, d.h. g 0 ist auch Rechtsinverses zu g. Setzt man
1 := v1 v1 e v1 ,

2 := v1 v2 v1 v2 e,

so haben wir offenbar gezeigt, da jedes Modell f


ur auch ein Modell f
ur 1
und 2 ist. Es gilt also
|= 1 und |= 2 .
Aber auch 3 := v2 v1 v1 v2 e folgt semantisch aus , wie der Leser sich
selbst klar mache.
2. () und x x x (x ein Variablensymbol) sind Beispiele f
ur allgemeing
ultige
Ausdr
ucke.

3.2.3. Bemerkung. Zur Uberpr


ufung von |= sind grundsatzlich alle Modelle
f
ur daraufhin zu untersuchen, ob sie auch Modelle f
ur sind. In 3.2.2(1) haben
wir stattdessen einen mathematischen Beweis gef
uhrt. Wir haben angenommen,

da wir ein Modell f


ur haben (also eine Halbgruppe mit einem linksneutralen
Element, bez
uglich dessen es Linksinverse gibt) und auf die Existenz eines
rechtsneutralen Elements geschlossen usw. Unser Ziel ist unter anderem eine
Formalisierung, damit Prazisierung des Begriffs mathematischer Beweis.

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

i. =||= ist eine Aquivalenzrelation.


ii. F
ur alle , 0 , , 0 LS mit =||= 0 , =||= 0 gilt:
1. =||= 0
2. ( ) =||= (0 0 )
3. ( ) =||= (0 0 )
4. ( ) =||= (0 0 )
5. ( ) =||= (0 0 )
6. x =||= x0
7. x =||= x0
Insbesondere erhalt man einen semantisch aquivalenten Ausdruck, wenn man
einen Teilausdruck durch einen semantisch aquivalenten ersetzt, wie man aus
ii. leicht durch Induktion nach der Stufe erhalt.
Wir beweisen beispielhaft 4. und 7. Dabei gen
ugt es aus Symmetriegr
unden
4.

( ) |= (0 0 )

und (7) x |= x0

zu zeigen. Sei also I ein Modell f


ur ( ). Zu zeigen ist
(?)

I erf (0 0 ).

Dies ist aquivalent mit


(??)

wenn I erf 0 , so auch I erf 0 .

Sei also I ein Modell f


ur 0 . Wegen =||= 0 ist dann I auch ein Modell f
ur
, nach Voraussetzung also auch f
ur und wegen =||= 0 dann auch f
ur 0 .
Das zeigt (??) und damit 4. Sei nun I = (A, a, ) ein Modell f
ur x. Dann
gibt es ein a A, so da I xa ein Modell f
ur , also wegen =||= 0 auch f
ur 0
ist. Das zeigt 7.
39

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 ( )

3. Die erste Aquivalenz


ist leicht zu sehen, die zweite folgt mit 1. und 2.
4.
I erf x

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.

3.2.8. Satz. Zu jedem Ausdruck LS gibt es einen semantisch aquivalenten


Ausdruck LS , in dem , , , nicht als Buchstaben vorkommen.
Beweis. Wir definieren rekursiv u
ucke. Ist atomar,
ber den Aufbau der Ausdr
so setzen wir := . Ist Stufe () > 1, so setzen wir:
1.
c :=
b

\
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

Induktiv setzen wir dabei


b =||= und b =||= voraus, und da in ,
b b die
Buchstaben , , , nicht vorkommen. Dann kommen diese Buchstaben in
den Ausdr
ucken in 1. bis 7. ebenfalls nicht vor. Nach 3.2.6 ist

b =||=
b =||= ( )
(
b )
x
b =||= x.

Mit 3.2.6 und 3.2.7 folgt weiter


b =||= ( ) =||= ( )
(
b )
b (b ))
((
b )
b
=||= (( ) ( ))
=||= ( )

x
b =||= x =||= x

Das zeigt die Behauptung.

3.2.9. Definition. Sei X A?S . Wir nennen X {, , }abgeschlossen, wenn


gilt:
1. X enthalt alle atomaren Ausdr
ucke,
2. f
ur alle , X, x V ar ist , ( ), x X.
Offenbar sind A?S und LS {, , }abgeschlossen. Auerdem sind beliebige Durchschnitte
von {, }abgeschlossenen Mengen ebenfalls {, , }abgeschlossen. Also
gibt es eine (im Sinne der Inklusion) kleinste {, , }abgeschlossene Teilmenge
von A?S , namlich
T
lS := {X A?S | X {, , }abgeschlossen}
Es ist lS LS . Genauer gilt:
lS = { LS | in kommen , , , nicht als Buchstaben vor},
wie man leicht u
berlegt. In 3.2.8 haben wir eine Abbildung
: LS lS
41

induktiv definiert mit der Eigenschaft


f
ur alle LS ist
b =||= .

Wie man aus 3.2.8(1),(2),(6) durch Induktion u


ucke
ber den Aufbau der Ausdr
leicht erhalt, gilt
f
ur alle lS ist
b = ,

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

Wenn es um Fragen der Modellbeziehung, des semantischen Folgens, der semantischen

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

Das Koinzidenzlemma und seine Folgen

3.3.1. Bemerkung. (Erganzungen zu 1.1) Sei X eine Menge, X ein freies


Monoid u
ber X und Y X. Wir definieren < Y > X wie folgt:
f
ur alle n N0 , x1 , ..., xn X, w := x1 , ..., xn :
w < Y >: x1 , ..., xn Y
Es gilt
1. 1X < Y >
2. Y < Y >
3. v, w < Y > = vw < Y >
Daher ist (Y ) ein Teilmonoid von X , welches Y enthalt. Offenbar ist < Y >
das kleinste solche Teilmonoid, also das von Y erzeugte Teilmonoid von X .

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

gearbeitet. Wir betrachten nun die folgende Situation: F


ur i {1, 2} seien
Symbolmengen
[
[
(i)
Si =
Fn(i) R(i)
n K
gegeben und es gelte f
ur alle n N:
(2)
(1)
Fn = Fn(1) Fn(2) , Rn = R(1)
K(2) ,
n Rn , K = K

insbesondere S = S1 S2 . Wir setzen


(2)
(1)
Fn := Fn(1) Fn(2) , Rn := R(1)
K(2)
n Rn , Kn := K
S
und Sn := Fn Rn K, also Sn := S (1) S (2) . Nach der Konvention aus 3.3.1
sind AS1 , AS2 und AS freie Teilmonoide von (AS und es ist

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

Ist S v S 0 , so ist S S 0 . Ist S v S 0 , so ist T S T S , LS LS und lS lS


(Spezialfall von (1),(2,(3) f
ur S := S1 S2 := S 0 ) (Achtung: Falls S S 0 ,
aber z.B. R ein n-stelliges Relaionssymbol in S, in S 0 dagegen ein n-stelliges
0
Funktionssymbol ist, so ist mit t1 , . . . , tn T S T S
0

Rt1 , . . . , tn LS und Rt1 tn T S ,


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

Wegen frvar frvar {x} ist dann


e1,a |frvar = e2,a |frvar .

Wegen a|S() = a|S() gilt nach Induktionsvorraussetzung f


ur alle a A:
a
a
I1 [] I2 []
x
x
44

Nun folgt
I1 erf ] I1 erf x
a1
erf
x
a2
es gibt ein a1 A mit I2 erf
x
I2 erf x

es gibt ein a1 A mit I1

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

3. Sei S 0 eine Symbolmenge und S v S 0 . Insbesondere LS LS , und


mcs0 . Sei (A0 , a0 ) eine S 0 -Struktur und I 0 = (A0 , a0 , 0 ) ein Modell f
ur (Man
sagt: ist erf
ullbar bzgl. S 0 )

Ist umgekehrt I = (A, a, ) eine S-Interpretation mit I erf , so erweitern wir


a zu einer Abbildung a0 auf S 0 , indem wir z.B.: setzen:
a0 (R) := f
ur R R0n \ R\
a(f ) : A0 A, (a1 , . . . , an ) 7 a0 f
ur f Fn0 \Fn
a0 (c) := a0 f
ur c K0 \K wobei a0 A beliebig gewahlt ist.
Dann ist I 0 := (A, a0 , ) eine S 0 -Interpretation und ein Modell f
ur .
ist erf
ullbar bzgl S ist erf
ullbar bzgl. S 0 .
3.3.5. Definition. F
ur jedes n N sei
LSn := { LS | frvar {v1 , v2 , . . . , vn }}.
Es ist LS0 die Menge aller Satze in LS , ferner
LS0 LS1
S
und LS = n LSn .

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 .

Beweis durch Induktion nach dem Aufbau der Ausdr


ucke. Wir setzen := t1 tn
S
und w := x1 xn . Sei L und zunachst Stufe = 1, etwa = Rt01 t0m
vom R-Typ. Dann folgt
h
i
I Rt01 t0m
h w
i
I Rt01 t0m
w 
  w


0

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)

wobei die Begr


undungen

es gibt ein a A mit


a I ua (ti1 ) . . . I ua (til )I ua (u)
I
[]
u
xi1 . . . xil x
es gibt ein a A mit
a I(ti1 ) . . . I(til )a
I
[]
u xi1 . . . xil x
es gibt ein a A mit
I(ti1 ) . . . I(til )a
I
[]
xi1 . . . xil x
es gibt ein a A mit

 
I(ti1 ) . . . I(til ) a
I
[]
xi1 . . . xil
x
I(ti1 ) . . . I(til )
I
[x]
xi1 . . . xil
I(t1 ) . . . I(tn )
I
[x],
x1 . . . xn
im einzelnen sind:

1. u kommt in ti1 . . . til nicht vor und Teil 1 des Koinzidenzlemmas.


I(ti )...I(ti )a

I(ti ...I(ti )a

2. Ist u = x, so ist I ua xi1 ... xi xl = I xi 1 ... xi lx . Im Falle u 6= x kommt


1
1
l
l
u in ti1 . . . til nicht vor. Dann liefert Teil 2 des Koinzidenzlemmas die
Behauptung.
3. x
/ {xi1 . . . xil }, da x keine freie Variable in ist.
4. {xi1 , . . . , xil } = frvar (){x1 , . . . , xn } und Teil 2 des Koinzidenzlemmas.
Der Fall = x wird genauso erledigt.
3.3.7. Korollar. F
ur alle , LS , n N, t1 , . . . , tn T S , a1 , . . . , xn Var
paarweise verschieden gilt :
|= =

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

3.3.8. Definition und Bemerkung. F


ur alle LS und alle x Var setzen
wir
vj
1 x := ( vj ( vj x)),
x
Dabei sei j minimal mit der Eigenschaft vj 6= x und vj
/ frvar (). Dann gilt
f
ur alle S-Interpretationen I = (A, a, ):
a
I erf 1 x es gibt genau ein a A mit I erf
x
Beweis. Es gilt :
I erf 1 x es gibt ein a A mit
vj
a
a
I erf und I erf vj ( vj x)
x
x
x
es gibt ein a A mit
a
(i.) I erf ,
x
(ii.) f
ur alle b A gilt
vj
a b
a b
wenn [I ] erf , so [I ] erf vj x.
x vj
x
x vj
ab
Wegen x 6= vj ist [I xa ] vbj = I xv
. Nach 3.3.6 gilt:
j

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

Zusammen ergibt das :


I erf 1 x es gibt ein a A mit
a
(i) I erf
x
(ii) f
ur alle b A gilt :
b
ab
wenn I erf , so I
erf vj x
x
xvj
es gibt ein a A mit
a
(i.) I erf
x
(ii.) f
ur alle b A gilt :
b
wenn I erf , so b = a
x
a
es gibt genau ein a A mit I erf .
x
48

Damit beenden wir diesen Teil u


ber die Semantik der Sprachen 1. Stufe. Man
mag f
ur unbefriedigend halten, da uns die Modellbeziehung immer wieder
zur
uckbringt in die ungeklarte Welt der Mathematik mit ihren uferlos scheinenden
Moglichkeiten, Beweise zu f
uhren, Beweise auerdem, die haufig auf einem
inhaltlichen Verstandnis der Sachverhalte beruhen. Kann man alles mathematische
Beweisen wenigstens auf einige genau benennbare logische Prinzipien zur
uckf
uhren?
Im folgenden Kapitel stellen wir einen formalisierten Beweisbegriff vor. Da
dieser das Verlangte leistet, ist der Inhalt des Godelschen Vollstandigkeitssatzes.

49

Kapitel 4

Die syntaktische
Ableitungsbeziehung
4.1

Der Sequenzenkalku
l

In diesem Abschnitt geht es um sogenannte Satzformen. Tupel solcher Satzformen


mit gewissen Eigenschaften werden wir im nachsten Abschnitt Beweisformen
nennen. Durch Interpretation werden aus Beweisformen mathematische Beweise.
Beweisformen sind formalisierte Beweise, ahnlich wie Ausdr
ucke formalisierte
Aussagen sind. Satzformen sind formalisierte Zwischenergebnisse eines Beweises.
Ein Beweis ist, grob gesagt, eine Folge von einzelnen Aussagen, die logischmiteinander
verbunden sind. Satzformen sind entsprechend gewisse Zeichenketten, die durch
Konkatenation von Ausdr
ucken entstehen.
4.1.1. Vorbemerkung. Im folgenden sei S eine Symbolmenge. Wir nennen
die Elemente von (LS ) AS [vgl. 2.3.18] auch Sequenzen. Sequenzen sind also
Worte
uber dem Alphabet LS . Durch ein System von Regeln sortieren wir aus
S
(L ) die Teilmenge der Satzformen aus ahnlich, wie wir aus AS die Mengen
der Terme und Ausdr
ucke durch ein System von Regeln herausgefiltert haben.
Es ist `S LS und nach 3.3.1 das von `S erzeugte Teilmonoid < `S > von (LS )
selbst frei u
ber `S . Wir bezeichnen dieses Monoid nach unserer Konvention aus
3.3.1 mit (`S ) . Die Elemente von (`S ) sind genau die Sequenzen, in denen
, , , nicht als Buchstaben vorkommen. Die Abbildung b : LS LS aus
3.2.8 lat sich eindeutig zu einem Monoidhomorphismus von (LS ) in (`S )
fortsetzen, den wir ebenfalls mitb bezeichnen, also
1\
n =
c1
cn f
ur alle 1 , . . . , n LS .

Einige Bezeichnungen. Sind 1 , . . . , n , LS , so heit 1 n das Antezedenz


und das Sukzedenz der Sequenz 1 n . Sind = 1 n , = 1 m
(LS ) , dabei 1 , . . . , n , 1 , . . . , m LS , so schreiben wir
, falls {1 , . . . , n } {1 , . . . , m }.
Z.B. ist
.
50

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

4.1.3. Bemerkung und Definition. Offenbar ist (LS ) satzformig. Beliebige


Durchschnitte satzformiger Mengen sind satzformig.
T Insbesondere gibt es eine
(bzgl. Inklusion) kleinste satzformige Menge. S := {X (LS ) | X satzformig}
Die Elemente von S nennen wir Satzformen.
Wegen (Vor) ist S f
ur alle LS , allgemeiner 1 n j S f
ur alle
S
S
1 , . . . , n L , j n. Wegen () ist t t S f
ur alle t T .
4.1.4. Definition. Wir definieren die Teilmenge K von (LS ) durch
1 , . . . , n K {1 , . . . , n } |= ,
d.h. 1 , . . . , n K gdw. jedes Modell f
ur 1 , . . . , n auch ein Modell f
ur
ist. Die Elemente von K heien korrekte Sequenzen.
Ist = 1 n und I ein Modell f
ur {1 , . . . , n }, so schreiben wir einfach
I erf und nennen I ein Modell f
ur . Statt {1 , . . . , n } |= schreiben wir
auch |= .
4.1.5. Satz von der Korrektheit des Sequenzenkalku
ls. K ist satzformig,
insbesondere S K.
Beweis. Im folgenden seien , , LS , t, t0 T S , x, y Var, ferner :=
{1 , . . . , m }, = {1 , .., m }, := 1 , .., n und := 1 m . Wir haben
zu zeigen, da K die 10 Regeln des Sequenzenkalk
uls erf
ullt:
(Vor) Ist I ein Modell f
ur {1 , . . . , m } = und , so ist offenbar I
auch ein Modell f
ur . Das zeigt |= , also K.
(Ant) Sei K und (d.h. ). Ist I ein Modell f
ur (I erf ),
so ist I auch ein Modell f
ur , also f
ur , d.h. |= , also K.
(FU) Seien , K und I ein Modell f
ur . Da I ein Modell f
ur oder
kein Modell f
ur ist (tertium non datur) gilt I erf oder I erf , und daher
I erf oder I erf , und daher I erf oder I erf . Nach Voraussetzung
gilt daher I erf . Also ist K.
(Wid) Seien , K und I ein Modell f
ur . Angenommen, I
ist kein Modell f
ur . Dann gilt I erf . Nach Voraussetzung ist dann I ein
Modell f
ur und kein Modell f
ur , ein Widerspruch. Also gilt I erf . Das
zeigt K.
(vA) Seien , K und I ein Modell f
ur ( ). Dann ist I ein
Modell f
ur und ein Modell f
ur oder f
ur , also ein Modell f
ur oder .
Nach Voraussetzung folgt nun I erf . Das zeigt ( ) K.
(vS) Seien K und I ein Modell f
ur . Nach Voraussetzung gilt I erf ,
also auch I erf oder I erf , d.h. I erf ( ). Es folgt ( ) K.
(S) Seien xt K und I ein Modell f
ur . Nach Voraussetzung gilt I erf xt
und nach dem Substitutionslemma: I I(t)
x erf . Ist I = (A, a, ), so heit dies
insbesondere: es gibt ein a A (namlich a = I(t)) mit I xa erf , nach Definition
der Modellbeziehung also I erf x. Das zeigt x K
52

(A) Sei y wie in 4.1.2 ( A) und xy K. Sei I = (A, a, ) ein Modell f


ur
x. Wegen I erf x gilt dann:
es gibt ein a A {rm mit I

a
erf .
x

Wir zeigen zunachst


(1)

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

Dies ist nach dem Substitutionslemma aquivalent mit


y
a
I erf .
y
x
Nach Voraussetzung ist I auch ein Modell f
ur = 1 n und y keine freie
Variable in 1 , . . . , n A. Nach dem Koinzidenzlemma ist dann auch I ay ein
Modell f
ur , also auch f
ur xy und daher auch f
ur . Da y in ebenfalls
keine freie Variable ist, folgt erneut mit dem Koinzidenzlemma I erf . Das
zeigt x K.
()

F
ur alle Interpretationen I gilt I(t) = I(t). Also ist t t K

ur t t0 . Wegen I erf und


(Sub) Seien xt K und I ein Modell f
der Voraussetzung ist I ein Modell f
ur xt . Das Substitutionslemma liefert
0
I(t)
I x erf . Wegen I erf t t0 und I(t) = I(t0 ) gilt auch I I(tx ) erf also erneut
0
0
mit dem Substitutionslemma I erf tx . Das zeigt t t0 tx K.
4.1.6. Definition und Bemerkung. Seien LS und LS . Wir nennen
syntaktisch ableitbar aus , wenn es 1 , . . . , n gibt mit
1 n S.
Wir schreiben dann auch ` oder auch 1 n ` oder auch ` 1 n .
Offenbar gilt dann {1 , . . . , n } ` , insbesondere:
` es gibt eine endliche Teilmenge 0 von mit 0 ` .
Als Korollar erhalten wir nun den sogenannten
4.1.7. Korrektheitssatz. F
ur alle LS , LS gilt
`

|=

( Alles, was sich beweisen lat ist wahr.)

53

Beweis. Sei |= . Dann gibt es nach Definition 1 , . . . , n mit 1 n


S, also 1 n S nach 4.1.5. Das bedeutet {1 , . . . , n } |= . Jedes
Modell f
ur ist auch ein Modell f
ur 1 , . . . , n , also f
ur , d.h. |= .
4.1.8. Bemerkung. Die Umkehrung in 4.1.7 gilt nicht: Nach 3.1.6 ist z.B.:
( ) =||= ( ),
insbesondere
( ) |= ( ).
Aber ( ) ist im Sequenzenkalk
ul nicht aus ( ) ableitbar, d.h.: (
) |= ( ) gilt nicht, denn der Sequenzenkalk
ul handelt nur von , , . Es
gilt aber f
ur alle lS , lS :
|= `
Dies ist der Inhalt des sogenannten Godelschen Vollstandigkeitssatzes, den man
(vergl. 3.2.9) auch so aussprechen kann
b =K
b
S
Alles was wahr ist, kann man auch beweisen.

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

falls y nicht freie Variable in


einem der Ausdr
ucke von P
oder in x oder von ist.

(Sub)

(Wid)

t t0 tx

54

4.2

Weitere ableitbare Regeln des Sequenzenkalku


ls

Jede satzformige Teilmenge X von LS gen


ugt neben den Regeln des Sequenzenkalk
uls
noch vielen weiteren Regeln, von denen wir in diesem Abschnitt einige vorstellen
weden. Im folgenden sei S eine Symbolmenge, X (LS ) satzformig, ferner
(LS ) , , LS , x Var und t, t1 , t2 , . . . T S .
4.2.1. Tertium non datur (t.n.d.).
( ) X
Beweis. Nach 4.1.3 und , X , nach (S) also auch (), (
) X, wegen (FU) also ( ) X.
4.2.2. Modifizierte Widerspruchsregel (Wid).
, X = X
Beweis. Mit , sind nach (Ant) auch und in X, wegen
(Wid) also auch X.
4.2.3. Kettenschluregel (KS).
, X = X
Beweis. Mit ist wegen (Ant) auch X. Nach (vor) ist X.
Mit (Wid) folgt nun X. Da nach Voraussetzung X ist, liefert
(FU) nun X.
4.2.4. Kontrapositionsregeln (KP).
(a)
(b)
(c)
(d)

X
X
X
X

=
=
=
=

X,
X,
X,
X.

Beweis. (a) Wegen X und (Ant) ist X. Nach (Vor) ist


X. Mit (Wid) folgt . Nach Var ist auch X.
Mit (FU) folgt X.
(b), (c) und (d) seien dem Leser u
berlassen.
4.2.5. Satz. ( ), X
Beweis. Mit der in 4.1.8 eingef
uhrten Notation lassen sich Beweise dieser Art

55

sehr u
bersichtlich darstellen:
1. ( )

Voraussetzung

2.

Voraussetzung

3.

(Ant) angewandt auf 2.

4.

(Vor)

5.

(Wid) angewandt auf 3., 4.

6.

(Vor)

7. ( ) (A) angewandt auf 5., 6.


8.

(KS) angewandt auf 1., 7.

4.2.6. Modus ponens (m.p.).


( ), X = X
Der Beweis sei dem Leser u
berlassen.
Kommentar: Der Modus ponens ist u
blicherweise als
AB
A
B
bekannt, wobei A, B Aussagen seien. Nach 3.2.7(2) ist andererseits ist ( )
semantisch aquivalent zu ( ).
4.2.7. Satz. (a) X x X
(b) X x x, falls x nicht freie Variable oder in ist.
Beweis. (a) Nach Aufgabe 24 ist xx = . Nun folgt (a) als Spezialfall von (S)
und (b) als Spezialfall von (A).
4.2.8. Satz. X = x t xt X
Beweis. Erneut wegen Aufgabe 24 ist dies der Spezialfall t := x und t0 := t von
(Sub).
4.2.9. Satz. (a)

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

6.8 angewandt auf 2., wobei x


/ var (t1 )
t1 ] tx2

(Sub.) angewandt auf 3.

5. t1 t2 t2 t1

4. und 6.8

6. t2 t1

(KS) angewandt auf 1., 5.

(b) 1. t1 t2

Voraussetzung

2. t2 t3

Voraussetzung

3. [t1 x] tx2
4. t2 t3 [t1

6.8 angewandt auf 1. wobei x


/ Var(t1 )
x] tx2

(Sub) angewandt auf 3.

5. t2 t3 t1 t3

6.8

6. t1 t3

(K) angewandt auf 2., 5.

4.2.10. Satz. Seien R Rn und f Fn . Dann gilt:


(a)

Rt1 ...tn , t1 t01 , . . . , tn t0n X = Rt01 ...t0n X.

(b) t1 t01 , . . . , tn t0n X = f t1 tn f t01 t0n X.


Beweis.
(a) 1. Rt1 ...tn

Voraussetzung

2. t1 t01
3. t1
4.
5.
6.
7.

Voraussetzung

t01 Rt01 t2 ...tn

2.4.8 und (Sub) angewandt auf 2.

Rt01 t2 ...tn
t2 t02
t0
t2 t02 [Rt01 yt3 tn ] y2
t2 t02 Rt01 t02 t2 ...tn

(KS) angewandt auf 2., 3.


Voraussetzung

8. Rt01 t02 t3 ...tn

(KS) angewandt auf 5., 6.

usw.
(b) 1. f t1 ...tn f t1 ...tn ()

und (Ant)

2. f t1 ...tn f t1 ...tn
3.
4.
5.

Voraussetzung

[f t1 ...tn f xt2 ...tn ] tx1


t1 t,1 ...tn f t,1 t2 ...tn
f t1 ...tn f t,1 t2 ...tn
usw.
57

1. , 2.4.8, xVariable mitx


/ var (t1 ...tn )
(Sub)
(KS) angewandt auf 2., 4.

Die abgeleiteten Regeln 4.2.1 bis 4.2.10 in Kurznotation


4.2.1 (t.n.d)

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

( )

falls x nicht frei in vorkommt.

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

4.2.11. Definition und Bemerkung. F


ur alle , LS und x Var setzen
wir
.

( ) := ( )
.

( ) := ( )
.

( ) := (( ) ( ))
.

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

3. xt x (S) angewandt auf 2.


4. x xt (KP) angewandt auf 3.
5. xt (KS) angewandt auf 1. , 4.
Als Spezialfall erhalt man mit Aufgabe 24 f
ur t := x.
.

4.2.13. Korollar. x X X
.

4.2.14. Satz. xy x x, falls y nicht freie Variable in den Ausdr


ucken
.
von oder in x vorkommt.
Beweis. Sei irgendein Ausdruck, in dem y nicht als freie Variable, z.B. xx
x. Nach Voraussetzung ist y nicht als freie Variable in x. Auerdem ist
[] xy = [ xy ] Wir schlieen wie folgt:
1. xy
2.
3.

Pramisse

xy
xy

(Vor) angewandt auf 1.


(KP) angewandt auf 2.

4. x (A) angewandt auf 3.


5. xy
6.

xy

(Vor.) angewandt auf 1.


(KP) angewandt auf 5.

7. x

(A) angewandt auf 6.

8. x

(Wid) angewandt auf 4.,7.

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

4.2.17. Definition und Bemerkung. Eine Sequenz (LS ) heit Startsequenz


wenn entweder:
1. es existiert n N, 1 , ..., n LS , j n gibt mit = 1 ...n j oder
2. es existiert t T S mit = t t.
Alle Startsequenzen gehoren offenbar zu S
4.2.18. Definition. Sei (LS ) . Ein k-Tupel (1 , ..., n ) von Sequenzen
heit eine Beweisform von , wenn = k ist und f
ur alle j kc genau einer
der folgenden Falle eintritt
1. , ist eine Startsequenz
2. es gibt ein i j1 c , so da

i
j

3. es gibt ein h, i j1 c , so da

gema (Ant.), (S),(,S),(A) oder (Sub.)


h
i
j

gema (FU), (Wid.) oder (A) gibt.

4.2.19. Bemerkungen. 1. Uberg


ange
i
j

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.

In jeder Beweisform ist 1 eine Startsequenz.

3. Ist (1 , ..., n ) eine Beweisform f


ur k , so ist (1 , ..., j ) eine Beweisform
f
ur j f
ur alle j k.
4.2.20. Satz. Sei (LS ) . Es sind aquivalent
1. S
2. es gibt einen formalisierten Beweis f
ur
Beweis. Sei X := { (LS ) | es gibt eine Beweisform f
ur }
(1)(2) Wir zeigen, da X satzformig d.h. S X ist. Ist eine Startsequenz,
so ist () eine Beweisform f
ur , also X. Daher erf
ullt X die Regeln (Vor.)
und (). Sei X, etwa 1 , ..., k1 , eine Beweisform f
ur . Gilt , gema
(Ant.), (S), (existsS), (A) oder (Sub.), (1 , ..., k1 , ) eine Beweisform
f
ur also X. Also erf
ullt X die Regeln (Ant.), (S), (S),(A) und
(Sub.). Ist , X, etwa (,1 , ..., ,l1 , , ) eine Beweisform f
ur , , und es gilt ,,,

gema (FU), (Wid.) oder (A), so ist (1 , ..., k1 , , ,1 , ..., ,f 1 , , , ,, ) eine


Beweisform f
ur ,, . Also ist X d.h. X erf
ullt (FU), (Wid.) und (A).
(2)(1) Sei (1 , ..., k ) eine Beweisform f
ur . Nach 4.2.17 also 1 eine Startsequenz,
nach 4.2.17 also 1 S. Sind 1 , ..., j1 S, es ist j S, da S satzformig
ist. Also ist = k S.
60

4.3

Widerspruchsfreie Ausdrucksmengen

Im folgenden sei S eine Symbolmenge.


4.3.1. Definition. Eine Menge LS heit widerspruchsvoll, wenn es ein
LS gibt mit ` und ` , andernfalls widerspruchsfrei. Wir schreiben
wv im ersten und wf im zweiten Fall.
4.3.2. Hilfssatz. Sei LS . Es sind aquivalent:
1. wv
2. ` f
ur alle LS
Beweis. (1)(2) Nach Voraussetzung gibt es 1 , ..., n , 01 , ..., 0m und
LS mit 1 ...n 01 , ...0m B. Sei := 1 ...n 01 ...0m . Wegen (Ant)
gilt dann , B. Nach (Wid.) ist nun B f
ur alle LS . Das zeigt
` f
ur alle LS .
(2) (1) ist klar.
4.3.3. Korollar. Sei LS . Es sind aquivalent:
1. wf
2. es gibt ein LS , das nicht syntaktisch aus ableitbar ist.
.

4.3.4. Beispiel. F
ur alle LS gilt wv ( ).
.

Beweis. Nach Definition ist ( ) = ( ). Sei LS . Nach t.n.d


ist ( ) B. Nach (Ant.)
ist ( ) B. Mit (KP) folgt
.
( ) B, d.h. {( )} ` f
ur alle LS . Mit 4.3.2 folgt
die Behauptung. Es ist (( ),
( ), ( ))) eine
.
Beweisform f
ur die Satzform ( ).
4.3.5. Hilfssatz. Sei LS . Es sind aquivalent:
1. wf
2. f
ur alle endlichen Teilmegen 0 von gilt wf 0
Beweis durch Kontraposition. Es gilt wv gdw. es eine endliche Teilmenge 0 =
{1 , ..., n } und LS gilt mit 0 ` und 0 ` , d.h. wenn es 0 , 0
endlich und wv 0 gilt.
4.3.6. Hilfssatz. F
ur alle LS gilt erf wf .
Beweis durch Kontraposition. Es gelte wv . Nach 4.3.2 gilt z.B.: ` (x
xx x). Ist I eine S-Interpretation, so ist I kein Modell f
ur (x xx x).
Nach dem Korrektheitssatz gilt |= (x x x x). Also ist I kein Modell
f
ur .
4.3.7. Satz. F
ur alle LS und LS gilt:
1. ` wv ( {})
61

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 .

Gilt wf j (in LSj ), so gilt wf (in LS )


Beweis. Gilt die Behauptung nicht, so gibt es nach 4.3.5 eine endliche Teilmenge
0 von mit wv 0 , und nach Definition dann ein LS mit 0 ` und
0 ` . Sei etwa 0 = {1 , . . . , n } und := 1 n . Man u
berlegt
sich leicht , sind Satzformen in LS . Nach 4.2.20 gibt es Beweisformen
(1 , . . . , k ) und (01 , . . . , 0l ) f
ur bzw. (in LS ). Sei S0 die Menge aller
0
0
in 1 k 1 l vorkommenden Symbole aus S. Da S0 endlich ist, gibt es
ein i0 N mit S0 Si0 . Ebenso gibt es ein j0 N mit 0 j0 . Sei
m := max{i0 , j0 }. Dann gilt 0 m und 1 , . . . , k , 01 , . . . , 0l (LSm ) .
Ferner sind (1 , . . . , k ), (01 , . . . , 0l ) Satzformen in LSm . Da auch LSm
ist, haben wir insbesondere gezeigt: m ` und m ` im Widerspruch zur
Voraussetzung.

62

Kapitel 5

Der Vollst
andigkeitssatz
In diesem Abschnitt beweisen wir den Vollstandigkeitssatz, der folgendes besagt:
(V)

F
ur alle lS und lS gilt:
` |=

Ich erinnere an den Korrektheitssatz:


(K)

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

d.h. widerspruchsfreie Teilmengen von LS besitzen ein Modell. Da erf


ullbare
S
Teilmengen von L widerspruchsfrei sind, ist der Inhalt von 4.3.6.
Angenommen nun, da |= gilt, aber ` nicht. Nach 4.3.7(1) ware dann
{} widerspruchsfrei, nach (E) also erf
ullbar. Ein Modell I f
ur {}
ware einerseits ein Modell f
ur , also kein Modell f
ur , und andererseits ein
Modell f
ur , also wegen |= doch ein Modell f
ur , ein Widerspruch.
Es bleibt also zu zeigen, da jede widerspruchsfreie Menge von Ausdr
ucken ein
Modell besitzt.
Im folgenden konstruieren wir f
ur alle LS eine S-Interpretation I , die
unter geeigneten Bedingungen an , zu denen wegen 4.3.6 mindestens wf
gehort ein Modell f
ur ist.

5.1

Der Satz von Henkin

Im folgenden sei S eine Symbolmenge und LS . Ab 5.1.7 ist LS .


5.1.1. Definition und Bemerkung. F
ur alle t1 , t2 T setzen wir
t1 t2 ` t1 t2 .
63

Offenbar gilt: t t f
ur alle t T S . Wegen 4.2.9 ist auch symmetrisch und

transitiv. Also ist eine Aquivalenzrelation


auf T S . Wir setzen
A := T S / ,

d.h. A sei die Menge der Aquivalenzklassen


bzgl. . F
ur jedes t T S sei
[t] := [t] := {t0 T S | t0 t}

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

der ti Ki ab. Ferner definieren wir RA (A )n wie folgt: (K1 , . . . , Kn )

RA : ` Rt1 tn , wobei t1 K1 , . . . , tn Kn beliebig seien. Wegen


5.1.3(2) ist auch diese Festsetzung unabhangig von der Auswahl der ti Ki .

F
ur alle T K sei cA := [c] . Wir setzen a (f ) := f A , (R) := RA ; a(c) :=

cA . Damit ist eine S-Interpretation I := (A , , ) definiert, die wir dir


zu gehorende Interpretationen nennen. Wir bemerken noch, da f
ur alle
t1 , . . . , tn T S gilt

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]

(b) Ist LS atomar, so gilt;:


I erf ` .
64

Insbesondere ist I ein Modell f


ur alle atomaren Ausdr
ucke in .
(c)

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 .

Beweis durch Induktion u


ber den Aufbau der Terme. (a) Ist Stufe (t) = 1 und
zunachst t Var, so ist I (t) = (t) = [t] . Ist t V ar, so ist I (t) = (t) =

tA = [t] . Sei nun Stufe(t) > 1, etwa t = f t1 tn mit f Fn , t1 , . . . , tn T S .


Es folgt:
I (t)

I (f t1 tn )

f A (I (t1 ), . . . , I (tn ))

Ind.V or.

f A ([t1 ] , . . . , [tn ] )

[f t1 tn ]

[t] .

(b) Ist = t1 t2 , so folgt:


I erf I (t1 ) = I (t2 )
(a)

[t1 ] = [t2 ]
t1 t2
` t1 t2
`
Sei = RT1 tk mit R Rn t1 . . . tn T S . Es folgt:

I erf [I (t1 ), . . . , I (tn )] RA


(a)

([t1 ] , . . . , [tn ] ) RA
` Rt1 tn
(c)

Seien nun LS und x1 . . . xn Var Es folgt:


()

I erf x1 xn es gibt a1 , . . . , an A mit


n
I xa11 a
xn erf

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

5.1.6. Definition. Eine Teilmenge von LS heit negationstreu, wenn f


ur alle
S
L gilt:
`

oder ` .

Wir sagen, da Beispiele enth


alt, wenn f
ur alle LS und f
ur alle x Var
S
es ein t T gibt, so da gilt.
t
.
` (x )
x
5.1.7. Hilfssatz. Sei LS widerspruchsfrei, negationstreu und enthalte
Beispiele. Dann gilt f
ur alle , LS :
1. entweder ` oder `
2. ` ( ) ` oder `
3. ` x es gibt ein t T S mit ` xt
Beweis. (1.) folgt, da widerspruchsfrei und negationstreu ist.
(2.) Gilt ` nicht, so gilt ` , da negationstreu ist. Mit 4.2.5 folgt
` .
(2.) Aus ` aus ` folgt ` ( ) mit (S)
.

(3.) Da Beispiele enthalt, gibt es ein t T S mit ` (x xt ). Aus


dem Modus ponens (4.2.6) folgt ` xt .
(3.) Aus ` xt folgt ` x mit (S).
5.1.8. Der Satz von Henkin. (Henkin 1949) Sei LS negationstreu und
widerspruchsfrei. enthalte Beispiele. Dann gilt f
ur alle LS : I erf

` . Insbesondere ist I ein Modell f


ur , d.h. ist erf
ullbar.
Beweis. Durch Induktion nach der Stufe. F
ur atomare Ausdr
ucke gilt die Behauptung
nach 5.1.5(2). Sei also LS und Stufe() > 1.
1. Fall: = . Dann ist LS und es gilt I erf I ist kein Modell
Ind.Vor.
f
ur ` gilt nicht ` `
2. Fall: = ( ). Dann sind , LS . Es folgt I erf I erf oder
I erf

Ind.Vor.

` oder `

5.1.7(2.)

` ( ) ` .
5.1.5(3)

3. Fall: = x. Dann ist LS . Es gilt I erf es gibt ein t T S


mit I erf xt

Ind.Vor.

es gibt ein t T S mit ` xt

66

5.1.7(3)

` .

5.2

Maximal widerspruchsfreie Ausdrucksmengen

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.2.6. Satz. Jede widerspruchsfreie Teilmenge von LS ist in einer Teilmenge


von LS enthalten, die widerspruchsfrei und negationstreu ist.
Beweis. 5.2.5 und 5.2.4
5.2.7. Bemerkung. Sei LS . Ist negationstreu, so ist auch
negationstreu. Enthalt Beispiele, so auch . Zur Herstellung der Voraussetzungen
des Satzes von Henkin gen
ugt es daher zu zeigen, da jede widerspruchsfreie
Teilmenge von LS in einer Teilmenge von LS enthalten ist, die widerspruchsfrei
ist und Beispiele enthalt. Das kostet etwas mehr M
uhe und wird uns in den
nachsten beiden Abschnitten beschaftigen.

5.3

Erfu
llbarheit widerspruchsfreier Ausdrucksmengen.
Der abz
ahlbare Fall

Im folgenden sei S eine h


ochstens abz
ahlbare Symbolmenge. Dann ist AS abzahlbar,

nach 1.2.5 also AS abzahlbar. Nach 1.2.4 gibt es eine Bijektion : AS N.


Ist X AS , so ist |X : X N injektiv, nach 1.2.1 und 1.2.2 also X
hochstens abzahlbar. Ist X auerdem nicht endlich, so ist X abzahlbar. Z.B.
ist {vj vj | j N} eine unendliche Teilmenge von LS LS AS . Ebenso
ist T S hochstens abzahlbar und wegen Var T S nicht endlich.
S
5.3.1. Hilfssatz. Sei LS mit wf . Sei frvar := frvar endlich
(d.h. LSn f
ur ein n N [3.3.5]). Dann gibt es LS mit wf und ,
das Beispiele enthalt.
Beweis. Sei E die Menge aller Ausdr
ucke in LS von der Form x. Da Var
nicht endlich ist, ist E nicht endlich, wie oben bemerkt also E abzahlbar. Nach
1.2.4 gibt es eine Bijektion : N E. Wir setzen
xn n := (n)
f
ur alle n N. Wir definieren induktiv Ausdr
ucke 1 , 2 , . . . LS wie folgt:
I

Sei j minimal mit der Eigenschaft


vj
/ frvar .

Wir setzen y1 := vj und




y1
.
1 := x1 1 1
.
x1
II Sind 1 , . . . , m1 LS bereits definiert, so sei k N minimal mit der
Eigenschaft
vk
/ frvar frvar 1 . . . frvar m1 .

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:

Wegen 4.3.8 (wobei S1 = S2 = ... = S sei) gen


ugt es zu zeigen:
(3)

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

und 1 , . . . , n1 m annehmen. Sei := 1 n1 . Wir haben also m , m


S und schlieen nun wie folgt:
1. m

Voraussetzung

2. xm m xm m
(Vor)


3. xm m xm m m xym
(S) angewandt auf 2.
m
4. xm m m

(Ant) angewandt auf 1.

5. xm m

(KS) angewandt auf 3., 4.

m xym
6. m xym
m
 m

ym
7. m xm xm m m xym
m

(Vor)

8. m xym
m
m

(Ant) angewandt auf 1.

9. m xym

(KS) angewandt auf 7., 8.

10. xm m

(S) angewandt auf 6.

(A) angewandt auf 9., ym


ist nicht freie Variable in
1 , . . . , n , xm m , .
(FU) angewandt auf 5., 10.

11.

Also ist S. Ersetzt man in dieser Ableitung u


berall durch , so erhalt
man S und es folgt
m ` und m `
im Widerspruch zu wf .
5.3.2. Korollar. Sei LS widerspruchsfrei und frvar endlich. Dann gibt
es ein hochstens abzahlbares Modell f
ur . Insbesondere ist erf
ullbar.
Beweis. Nach 5.3.1 gibt es eine Teilmenge von LS mit wf und , so da
Beispiele enthalt. Nach 5.2.6 gibt es eine negationstreue und widerspruchsfreie
e von LS mit .
e Offenbar enthalt auch
e Beispiele. Nach dem
Teimenge
e

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

5.3.3. Satz. Sei LS widerspruchsfrei. Dann besitzt ein hochstens abzahlbares


Modell und ist insbesondere erf
ullbar. (Dabei ist weiterhin S als hochstens
abzahlbar vorausgesetzt.)
Beweis. Ist frvar endlich, so folgt die Behauptung aus 5.3.2. Ist frvar nicht
endlich, so ersetzen wir die freien Variablen in den Ausdr
ucken durch
neue Konstantensymbole. Nach dem Entgiftungssatz gibt es eine Menge C und

70

eine Bijektion : N C mit C AS = . Wir setzen c(i) := (i) f


ur alle i N
0
und erweitern S zu einer neuen Symbolmenge S mit Konstantensymbolen
K0 := K C.
0

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()

Nach 2.4.11(c) ist frvar 0 = , also 0 ein Satz. Sei


0 := {0 | }.
Es gilt also
(1)

frvar 0 = .

Wir zeigen
(2)

wf 0 .

Nach 4.3.5 gen


ugt es daf
ur zu zeigen:
(3)

wf 00 f
ur jede endliche Teilmenge 00 von 0 .

Wegen 4.3.6 folgt dies aus:


(4)

Jede endliche Teilmenge 00 von 0 ist erf


ullbar.

Sei also 00 = {01 . . . , 0n }, wobei 0 = {1 . . . , n } sei. Wegen wfS


ist
auch 0 widerspruchsfrei, also erf
ullbar nach 5.3.2, da offenbar frvar 0 = j j
endlich ist. Also gibt es eine S-Interpretation I = (A, a, ) mit I erf 0 . Wir
definieren eine S 0 -Interpretation I 0 = (A0 , a0 , 0 ), indem wir
A0 := A, 0 := , a0 |S := a
und f
ur alle i N
a0 (c(i) ) := I(vi ) = (vi )
setzen. Wir zeigen nun,da I 0 ein Modell f
ur 00 ist. Sei dazu j n und mj :=
m(j ). Dann folgt:
I 0 erf 0j

(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

(v1 ),... ,(vmj )


v1 ,... ,vmj

= I. Wegen I erf 0 folgt nun I 0 erf 00 . Also gilt

(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

Nach Definition von 00 ist


I 00

I 00 (c(1) ), . . . , I 00 (c(mj ) )
= I 00 .
v1 , . . . , vmj

Also ist I 00 ein Modell f


ur alle , d.h.
I 00 erf .
Da die neuen Konstanten in keinem Ausdruck LS vorkommen, gilt
nach dem Koinzidenzlemma::
Ie erf ,

wobei Ie = (A00 , a00 |S , 00 ) eine S-Interpretation und A00 hochstens abzahlbar


ist.
Wir wollen uns im nachsten Abschnitt von der Voraussetzung S hochstens

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

unverandert. Wir setzen S = S K . F


ur alle x V ar, LS sei ,x :=
.
C
S
(x x
x ) und B(S) := {,x | L , x V ar}
5.4.3. Hilfssatz. Sei LS widerspruchsfrei (in LS ). Dann mit :=

B(S) widerspruchsfrei (in LS ).


Beweis. (Vgl. den Beweis von (2) in 5.3.1) Wegen 4.3.5 und 4.3.6 gen
ugt es f
ur
jede endliche Teilmenge 0 von die Erf
ullbarkeit zu zeigen. Sei also 0 =
0 {1 ,x1 , ..., 1 ,xn } und 1 endlich. Wir setzen Cj := Cxi i f
ur
1 i n. Nach 5.4.1 ist 0 erf
ullbar. Sei I = (A, a, ) eine S-Interpretation
und Ierf 0 . Sei a A beliebig. F
ur 1 i n sei ai A wie folgt definiert: Ist
I kein Modell f
ur xi i , so sei ai := a. Ist I ein Modell f
ur xi i , so sei ai A
so gewahlt, da I axi erf i .
Wir setzen nun A := A, := , a |S = a und f
ur alle Cx mit LS , x
ai ,f allsx{x1 1 ,...,xn n }

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 .
.

2. I erf i ,xi = (xi i i Cxii ). Sei also I ein Modell f


ur xi i . Wegen
S
xi i L folgt mit dem Koinzidenzlemma Ierf xi i .
(C

Nach Definition von ai folgt : I axi erf i , also auch I a

xerf . Nach dem

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

Beweis. Wir definieren rekursiv Symbolmengen S1 , S2 , ... durch S1 := SSn+1 :=


Sn und Ausdrucksmengen 1 , 2 , ... durch 1 := nn := n = n B(Sn ).
Dann gilt S = S1 v S2 v S3 v ... = 1 2 3 ... und LS = lS1 lS2
lS3 ...
Eine einfache Induktion nach n liefert mit 5.4.3:
1. inf n f
ur alle n IN . Wir setzen S 0 :=
Wegen (1) und 4.3.8 gilt:
,

S
n

Sn , =

n ,

LS .

2. wf (in LS ) ist lS , so gibt es in der Zeichenkette nur endlich viele


Elemente aus S 0 . Daher Sgibt es nach Definition von S 0 ein n IN mit
,
lSn . Das zeigt lS = n lSn .
Wir zeigen: enthalt Beispiele.
,
Sei also lS , etwa lSn , und x V ar, also auch x lSn . Nach
C
Konstruktion ist l,x := (x . x
x ) B(Sn ) wobei Cx eins der beim
Rekursionsschritt von n auf n+1 neu hinzugenommenen Konstantenymbole ist.
C
Daraus folgt ` (x . x
x ). Das zeigt (4)
5.4.5. Hauptsatz. Sei LS widerspruchsfrei. Dann ist erf
ullbar : wf
erf
b LS und
Beweis. Sei S 0 w S und eine in 5.4.4. Nach 5.2.6 gibt es
b und wf ,
b welches negationstreu ist. Mit enthalt auch
b Beispiele. Nach

dem Satz von Henkin ist die S-Interpretation I = (A , a , ) ein Modell


b also auch f
f
ur ,
ur . Nach dem Koinzidenzlemma ist die S-Interpretation
b
b
b
I := (A, a, ) mit A = A , := und a := a |S ein Modell f
ur .

5.5

Der Vollst
andigkeitssatz

Ein Korollar zu 5.4.5


5.5.1. Vollst
andigkeitssatz. Sei S eine Symbolmenge, lLS und LS .
Dann gilt |= `
Beweis. Ist der Korrektheitssatz 4.1.7 (gilt sogar f
ur LS , LS ).
durch Widerspruch. Es gelte |= , aber nicht ` . Dann gilt wf (
{}) nach 4.3.7(1). Nach 5.4.5 gibt es ein Modell I f
ur {}. Wegen
I erf folgt dann I erf wegen |= . Wegen I erf , gilt nicht I erf . Ein
Widerspruch.
5.5.2. Bemerkung. In 3.2.5 haben wirb: LS LS definiert, so da gilt:
bb =
1.
b f
ur alle LS
2.
b = f
ur alle LS

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

5.5.4. Bemerkung. (LS ) ein u


ber LS freies Monoid, ebenso (LS ) frei u
ber
S
L . Nach 1.1 gibt es genau einen Monoidhomomorphismus (LS ) (LS ) , der
\
b: LS ( LS ) fortsetzt. Dieses bezeichnen wir ebenfalls mitb, also varphi
1 n =
b
b=
b f
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.

5.5.6. Folgerung. Sei S eine Symbolmenge, lS und lS . Es gelte


` , etwa 1 ...n B mit geeigneten 1 , ..., n . Nach 5.5.5 ist dann
c1 , ...,
[
(
ur 1 ...n . Man mu also nicht
k1 , 1 , ..., n ) eine Beweisform f
unterscheiden zwischen syntaktischen Ableitungen `L in LS und `l in lS
0

5.5.7. Bemerkung. Sind S, S 0 Symbolmengen mit S v S 0 und LS LS .


Bisher haben wir unterschieden zwischen (1.) ist widerspruchsfrei (in LS ) (2.)
ist widerspruchsfrei (in LS ) Offenbar gilt (1) (1). Gilt umgekehrt wf (in
LS ), s o ist erf
ullbar nach 5.4.5. Also gibt es eine S-Interpr etation I = (A, ,
) mit I erf . Wir definieren eine S-Interpretation I 0 = (A0 , 0 , 0 ) durch A0
:= A, 0 |S = , 0 := .Auf S 0 \ S werde 0 irgendwie fortgesetzt. Nach dem
Koinzidenzlemma ist I 0 ebenfals ein Modell f
ur . Nach 4.3.6 gilt aber auch
0
0
( ), d.h. () ( )
5.5.8. Kommentar zum Vollst
andigkeitssatz. (am Beispiel der Gruppentheorie)
Gruppen sind die Modelle f
ur die folgenden Ausdr
ucke aus LS , wobei S = F2
K, F2 = {}, K = {e}: 1 := v1 v2 v3 v1 v2 v3 2 := v1 e
v1 v1 3 := v1 v2 v2 v1 e Angenommen, eine Aussage A gilt in allen
Gruppen. Angenommen ferner, da A sich symbolisieren lat in LS etwa durch
, so gilt also {1 ,1 ,3 } |= Nach 5.5.1 (5.5.2) folgt {c
1 ,
c2 ,
c3 } `
b Das
bedeutet
c1 ,
c2 ,
c3 B. Nach 4.2.20 gibt es eine Beweisform (1 , ..., k1 ,
c1 ,

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

Der Endlichkeitssatz und der aufsteigende Satz


von L
owenheim und Skolem

5.6.1. Endlichkeitssatz. (auch Kompaktheitssatz) Sei LS .


75

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

es gibt 0 , 0 endlich mit

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.

5.6.2. Korollar. Sei LS . F


ur alle n IN gebe es ein Modell In =
(An , n , n ) von ist |A| n. Dann gibt es auch ein Modell I := (A, , )
von mit nicht endlichem A.
Beweis. Wir setzen 2 := v1 v2 v1 v2 . Wir definieren n rekursiv
durch n+1 := vn+1 ((..((n v1 vn+1 ) v2 vn+1 )...) vn
vn+1 ) Ist I = (A, , ) eine S-Interpretation und I erf n , so gilt |A| n:
(*) I erf n |A| n. Sei nun := { n | n IN , n 2 } Ist I =
(A, , ) ein Modell f
ur , so ist I ein Modell f
ur und |A| n f
ur alle n
IN , also A nicht endlich. Bleibt zu zeigen:
1. erf . Wegen 5.6.1 gen
ugt der Nachweis von
2. erf 0 f
ur jede endliche Teilmenge 0 von . Sei aber (o.B.d.A) = 0
{ n | 2 n n0 } eine endliche Teilmenge von (dabei 0 ).
Es ist nach (*) In ein Modell f
ur 0

5.6.3. Aufsteigender Satz von L


owenheim und Skolem. Sei LS und
I = { A, , } ein Modell f
ur mit nicht endlichem A. Dann gibt es in jeder
Menge M ein Modell IM := ( AM , M , M ) von und eine injektive Abbildung
von M in AM .
Beweis. Nach dem Entgiftungssatz gibts es eine Menge CM mit CM AS =
und eine Projektion M CM , m 7 CM . Wir vergroern S zu S 0 , indem wir CM
den Konstanten zuschlagen, also K 0 = K CM , und alles u
brige ungeandert
lassen.
:= { Cm Cn | m, n in M , m + n } Ist IM = ( AM , M , M ) ein
Modell f
ur , so gilt IM erf . Ferner ist die Abbildung M AM , m m
(CM ) injektiv.
Wegen 5.6.1 gen
ugt es zu zeigen:

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

Beweis. Entweder ist (A, a) ein Modell f


ur oder kein Modell f
ur . Im zweiten
Falle ist (A, a) ein Modell f
ur .
5.7.6. Definition und Bemerkung. Eine Theorie LS0 hei0t vollstandig,
wenn f
ur alle LS0 :
oder .
In diesem Sinne ist Th (A, a) eine vollstandige Theorie.
5.7.7. Beispiel. Sei G die Klasse aller Gruppen. Es gibt Gruppen G die Modelle
f
ur
:= x xx e
sind, sogenannte Gruppen vom Exponenten 2, also Gruppen G, soda g 2 = 1G
f
ur alle g G ist. Aber nat
urlich gibt es auch Gruppen, in denen nicht jedes
Element gleich seinem Inversen ist, z.B. (Z, +). Also ist weder Th G noch
Th G, d.h. Th G ist nicht vollstandig.
5.7.8. Definition. Zwei S-Strukturen (A, a) und (A0 , a0 ) heissen elementar
aquivalent, wenn Th (A, a) = Th (A0 , a0 ) ist.

5.7.9. Bemerkung. Da isomorphe S-Strukturen elementar aquivalent sind,


folgt aus dem Isomorphielemma ( das in diesert Vorlesung nicht gezeigt wurde).
Interessanter ist
5.7.10. Satz. Sei (A, a) eine S-Struktur und A nicht endlich. Dann gibt es eine
zu (A, a) elementar aquivalente S-Struktur (B, b), die zu (A, a) nicht isomorph
ist.
Zum Beweis von 5.7.10 benotigen wir
5.7.11. Hilfssatz. Seien (A, a) und (B, b) S-Strukturen. Dann sind aquivalent:
1. (A, a) und (B, b) sind elementar aquivalent,
2. B erf Th (A, a),
3. A erf Th (B, b).

Beweis. Aus Symmetriegr


unden gen
ugt es, die Aquivalenz
der ersten beiden
Aussagen zu zeigen. Da B erf Th (B, b) gilt, folgt die zweite aus der ersten
Aussage. Es gelte nun 2. Dann ist Th (A, a) { LS0 | (B, b) erf } = Th (B, b)}.
Sei umgekehrt Th (B, b). Ware
/ Th (A, a), so ware Th (A, a)
nach 5.7.5, also Th (B, b) im Widerspruch zu wf Th (B, b). Also ist
Th (A, a).
Beweis von 5.7.10. Nach Voraussetzung besitzt Th (A, a) ein nicht endliches
Modell, namlich (A, a). Nach 5.6.3 gibt es ein Modell (B, b) von Th (A, a) und
eine injektive Abbildung von P in B. Nach Aufgabe 4 gibt es keine surjektive
Abbildung von A auf P, erst recht nicht auf B. Also ist (B, b) nicht isomorph
zu (A, a), wegen 5.7.11 andererseits elementar aquivalent zu (A, a).
78

5.7.12. Kommentar. Unendliche S-Strukturen werden nicht charakterisiert


durch die Menge der Satze, die auf sie zutreffen sofern diese Satze in einer
Sprache der ersten Stufe formulierbar sind. Man vergleiche die Bemerkungen
u
ber R in ??. Dies legt die folgende Festsetzung nahe:
5.7.13. Definition. Sei LS0 . Dann heit
ModS := {(A, a) | (A, a) ist eine S-Struktur mit (A, a) erf }
die Modellklasse von .
5.7.14. Satz. F
ur alle LS0 mit wf ist Th ModS = |= . Insbesondere ist
jede Theorie die Theorie ihrer Modellklasse.
Beweis. Wegen wf ist erf
ullbar, also ModS 6= . Alle (A, a) aus ModS
sind Modelle f
ur , also auch f
ur |= . Das zeigt |= Th ModS . Sei umgekehrt
Th ModS . Dann ist jedes Modell f
ur auch ein Modell f
ur , also
|= .
5.7.15. Definition. Eine Klasse X von S-Strukturen heit -elementar, wenn
es LS0 gibt mit X = ModS .
5.7.16. Beispiele.
1. Die Klasse G aller Gruppen ist -elementar. Setzt
man wie in 5.5.8, so ist G = ModS .
2. Die Klasse Gfin der endlichen Gruppen ist nicht -elementar. Es gibt
beliebig grosse endliche Gruppen. Sind also alle endlichen Gruppen Modelle
f
ur LS0 , so gibt es nach 5.6.2 auch ein nicht endliches Modell f
ur .
3. Die Klasse aller geordneten Korper ist -elementar, ferner die Klasse aller
Halbgruppen, aller abelschen Gruppen etc.
4. Die Klasse aller Torsionsgruppen ist nicht -elementar. Wir nennen eine
Gruppe G eine Torsionsgruppe, wenn f
ur alle g G gilt:
es gibt ein n N mit g n = 1G .
( Alle Elemente von G haben endliche Ordnung.)

5.8

Ein Axiomensystem der Mengenlehre

Es ist eine Erfahrungstatsache, da sich die gesamte Mathematik in der Sprache


der Mengen ausdr
ucken lat. F
ur die Mengenlehre nun gibt es ein verhaltnismaig
einfaches Axiomensystem, das sich in einer Sprache erster Stufe formalisieren
lat. Dies wollen wir im folgenden am Beispiel des von Ernst Zermelo (1871
1951) und Abraham Fraenkel (1891 1965) angegebenen Axiomensystems
vorf
uhren. Wegen des Auswahlaxioms ( axiom of choice) heit dieses System

(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

(b) xyz(z {x, y} (z y z y))


Das Vereinigungsaxiom (VER)
(a) Zu jeder Menge X gibt es die Vereinigung Y aller Elemente, die die
Elemente von Y sind. ( Die Elemente von Y sind genau die Elemente
der
S Elemente von X. Nach (EXT) ist Y eindeutig bestimmt. Wir setzen
X := Y .)
(b) xyz(z y w(z w w x))
Das Potenzmengenaxiom (POT)
(a) Zu jeder Menge X gibt es die Menge aller Teilmengen von X. (Nach
(EXT) ist diese Menge eindeutig bestimmt. Sie wird die Potenzmenge
von X genannt und mit P(X) bezeichnet.)
(b) xy(y Px y x)
Das Unendlichkeitsaxiom (INF)
(a) Es gibt eine Menge, die , {}, {, {}}, . . . als Elemente enthalt (die also
nicht endlich ist).
(b) x( x (y x y {y} x))
(b) ist nicht die genaue Formalisierung von (a), sondern etwas starker. Mengen
mit der in (b) beschriebenen Eigenschaft nennt man induktiv. Man sieht sofort,
da beliebige Durchschnitte induktiver Mengen wieder induktiv sind. Der Durchschnitt
aller induktiven Mengen spielt die Rolle der nat
urlichen Zahlen.
Das Auswahlaxiom (AUS)
(a) Zu jeder Menge X, deren Elemente paarweise disjunkte, nicht leere Mengen
sind, gibt es eine Menge Y , die aus jedem Element von X genau ein
Element enthalt. (Y ist ein Repr
asentantensystem f
ur die Elemente von
X.)
(b) x(( x uv(((u x v x) u v) u c )) yw(w
x 1 zz w y))
(Zur Definition von 1 vgl.man ??.)
Das Ersetzungsschema (ERS)
(a)
(b)

81