Sie sind auf Seite 1von 144

Mathematik Kompakt

Martin Ziegler

Mathematische
Logik
2. Auflage
Mathematik Kompakt
Mathematik Kompakt
Herausgegeben von:
Martin Brokate
Karl-Heinz Hoffmann
Gtz Kersting
Kristina Reiss
Otmar Scherzer
Gernot Stroth
Emo Welzl

Die Lehrbuchreihe Mathematik Kompakt ist eine Reaktion auf die Umstellung der Di-
plomstudiengnge in Mathematik zu Bachelor- und Masterabschlssen.
Inhaltlich werden unter Bercksichtigung der neuen Studienstrukturen die aktuellen Ent-
wicklungen des Faches aufgegriffen und kompakt dargestellt.
Die modular aufgebaute Reihe richtet sich an Dozenten und ihre Studierenden in
Bachelor- und Masterstudiengngen und alle, die einen kompakten Einstieg in aktuel-
le Themenfelder der Mathematik suchen.
Zahlreiche Beispiele und bungsaufgaben stehen zur Verfgung, um die Anwendung der
Inhalte zu veranschaulichen.

 Kompakt: relevantes Wissen auf 150 Seiten


 Lernen leicht gemacht: Beispiele und bungsaufgaben veranschaulichen die Anwen-
dung der Inhalte
 Praktisch fr Dozenten: jeder Band dient als Vorlage fr eine 2-stndige Lehrveran-
staltung
Martin Ziegler

Mathematische Logik
2. Auflage
Martin Ziegler
Mathematisches Institut
Universitt Freiburg
Freiburg, Deutschland

Mathematik Kompakt
ISBN 978-3-319-44179-5 ISBN 978-3-319-44180-1 (eBook)
DOI 10.1007/978-3-319-44180-1

Die Deutsche Nationalbibliothek verzeichnet diese Publikation in der Deutschen Nationalbibliografie;


detaillierte bibliografische Daten sind im Internet ber http://dnb.d-nb.de abrufbar.

Birkhuser
Springer International Publishing Switzerland 2010, 2017
Das Werk einschlielich aller seiner Teile ist urheberrechtlich geschtzt. Jede Verwertung, die nicht aus-
drcklich vom Urheberrechtsgesetz zugelassen ist, bedarf der vorherigen Zustimmung des Verlags. Das
gilt insbesondere fr Vervielfltigungen, Bearbeitungen, bersetzungen, Mikroverfilmungen und die Ein-
speicherung und Verarbeitung in elektronischen Systemen.
Die Wiedergabe von Gebrauchsnamen, Handelsnamen, Warenbezeichnungen usw. in diesem Werk be-
rechtigt auch ohne besondere Kennzeichnung nicht zu der Annahme, dass solche Namen im Sinne der
Warenzeichen- und Markenschutz-Gesetzgebung als frei zu betrachten wren und daher von jedermann
benutzt werden drften.
Der Verlag, die Autoren und die Herausgeber gehen davon aus, dass die Angaben und Informationen in
diesem Werk zum Zeitpunkt der Verffentlichung vollstndig und korrekt sind. Weder der Verlag noch
die Autoren oder die Herausgeber bernehmen, ausdrcklich oder implizit, Gewhr fr den Inhalt des
Werkes, etwaige Fehler oder uerungen.

Gedruckt auf surefreiem und chlorfrei gebleichtem Papier.

Birkhuser is part of Springer Nature


Die eingetragene Gesellschaft ist Springer International Publishing AG Switzerland
www.birkhauser-science.com
Was die Rechtschreibung betrifft, so hat man sich
deren bedient, welche jetzo fr die beste gehalten
wird.
(J.A. Hoffmann, 1735)
Vorwort

Diesem Buch liegt eine Vorlesung ber mathematische Logik zugrunde, wie sie in Frei-
burg regelmig fr Mathematik- und Informatikstudenten im vierten Semester gehalten
wird. Sie bildet den Anfang eines mehrsemestrigen Logikzyklus und verfolgt einerseits
das Ziel, jedem Studenten etwas ber die grundlegenden Fundamente der Mathematik
zu vermitteln. Andererseits zeigt die Vorlesung auch die verschiedenen weiterfhrenden
und eigenstndigen Bereiche der Logik auf, insbesondere Modelltheorie, Mengenlehre,
Beweistheorie, Rekursionstheorie und theoretische Informatik.
Die Vorlesung hat vier Teile, deren erste beide darstellen, wie sich die Mathematik auf
Prdikatenkalkl und Mengenlehre zurckfhren lt. Das erste Kapitel erklrt den Hil-
bertkalkl, der das formale Beweisen im Hilbertschen Sinne beschreibt. Dieser forderte
nmlich, Beweise so zu fhren, da man anstelle von Punkten, Geraden und Ebenen auch
Tische, Bnke und Bierseidel einsetzen knnen msse, ohne da die Gltigkeit des Be-
weises darunter litte. Aus dem Gdelschen Vollstndigkeitssatz folgt, da sich in diesem
Kalkl tatschlich alles, fr das es keine Gegenbeispiele gibt, formal beweisen lt. Damit
schafft dieser Satz auch die Grundlagen fr die Anfnge der knstlichen Intelligenz. Die
Grenzen dieses formalen Beweisens aber werden in den Gdelschen Unvollstndigkeits-
stzen sichtbar, die am Ende dieses Buches stehen.
Als Vorbereitung auf die Modelltheorie und die theoretische Informatik gehen wir im
ersten Kapitel auch auf die Herbrandschen Stze ein, die eine Art Entscheidbarkeit fr die
Allgemeingltigkeit von Formeln beschreiben.
Das zweite Kapitel erklrt die Anfnge der axiomatischen Mengenlehre, weit genug,
um zu sehen, auf welche Weise sich die gesamte Mathematik in der Mengenlehre ent-
wickeln lt. Insbesondere zeigen wir, wie sich die natrlichen Zahlen im Rahmen der
axiomatischen Mengenlehre beschreiben und charakterisieren lassen. Mathematische St-
ze beschreiben nun Eigenschaften des Mengenuniversums, mathematische Beweise sind
damit Folgerungen aus den Axiomen der Mengenlehre nach den Schluregeln des Prdi-
katenkalkls.
Das dritte Kapitel enthlt eine Einfhrung in die Theorie der berechenbaren Funktionen
anhand von sehr einfachen Computermodellen, den Registermaschinen. Diese Theorie ist
fr die theoretische Informatik wichtig, wird aber hier auch fr den vierten Abschnitt ver-

VII
VIII Vorwort

wendet, um den Gdelschen Unvollstndigkeitssatz zu beweisen, der schon in einfachen


Systemen der Arithmetik gilt.
Die Arithmetik, die Theorie der natrlichen Zahlen als Struktur mit Addition, Multi-
plikation und Nachfolgeroperation, steht im Zentrum des vierten Kapitels. Diese (voll-
stndige) Theorie wird verglichen mit einem axiomatisierbaren Teil, der sogenannten
Peanoarithmetik. Wir werden sehen, da eine Theorie der natrlichen Zahlen nicht gleich-
zeitig vollstndig und effektiv axiomatisierbar sein kann. In diesem Satz zeigt sich ein
unvermeidbares Problem der mathematischen Grundlegung der Mathematik. In diesem
letzten Kapitel laufen die Begriffe der vorigen drei Kapitel zusammen: Die Mengenlehre,
die es uns erlaubt, die natrlichen Zahlen sauber zu definieren, die Modelltheorie und die
Theorie der berechenbaren Funktionen.
Vorbild war das Buch Mathematical Logic von J. Shoenfield, [23], das wesentlich tiefer
in Mengenlehre, Rekursionstheorie und Beweistheorie eindringt. Das lt sich im Rahmen
einer einsemestrigen Vorlesung nicht verwirklichen, doch sollte dieses Buch ausreichend
Material liefern, um sich wenigstens ein erstes Bild dieses wichtigen Gebietes machen zu
knnen.
Ich danke Katrin Tent fr ihre unschtzbare Hilfe bei der Endfassung dieses Buches.

Anmerkung zur zweiten Auflage

An einigen Stellen wurde die Darstellung verbessert. Es gab eine Reihe von Fehlern, ins-
besondere in den Aufgaben, die korrigiert worden sind. Kapitel und Abschnitte wurden
umbenannt in Teile und Kapitel. Ich danke den Lesern Hans Adler, Philipp Bamberger,
Franz Baumdicker, Simon Brger, Juan-Diego Caycedo, Matthias Fetzer, Mohsen Khani,
Heike Mildenberger, Aaron Puchert, Luca Motto Ros und Katrin Tent fr ihre Hilfe.
Inhaltsverzeichnis

Teil I Prdikatenkalkl

1 Strukturen und Formeln . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3

2 Semantik . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11

3 Allgemeingltige Formeln . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17

4 Der Gdelsche Vollstndigkeitssatz . . . . . . . . . . . . . . . . . . . . . . . . . . 23

5 Der Sequenzenkalkl . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35

6 Der Herbrandsche Satz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43

7 Die Resolutionsmethode . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51

Teil II Mengenlehre

8 Die Axiome . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57

9 Die natrlichen Zahlen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67

10 Ordinalzahlen und Kardinalzahlen . . . . . . . . . . . . . . . . . . . . . . . . . 73

11 Metamathematik von ZFC . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81

Teil III Rekursionstheorie

12 Registermaschinen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89

13 Primitiv rekursive Funktionen und Gdelisierung . . . . . . . . . . . . . . . . 97

14 Rekursiv aufzhlbare Mengen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105


IX
X Inhaltsverzeichnis

15 Gdelnummern von Formeln . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 109

16 Ein anderer Aufbau der rekursiven Funktionen . . . . . . . . . . . . . . . . . 113

Teil IV Arithmetik

17 Definierbare Relationen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 119

18 Das System Q . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 123

19 Peanoarithmetik . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 131

20 Der Zweite Gdelsche Unvollstndigkeitssatz . . . . . . . . . . . . . . . . . . . 137

Literatur . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 145

Sachverzeichnis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 147
Teil I
Prdikatenkalkl

Aussagen des Prdikatenkalkls sind Zeichenreihen, die Eigenschaften von Strukturen


beschreiben. Zum Beispiel gilt die Aussage
:
' D 8x .0 < x ! 9y x D y  y/
in einem angeordneten Krper K D .K; 0; 1; C; ; ; </ genau dann, wenn jedes positive
Element von K ein Quadrat ist.
Eine Theorie T ist eine Menge von Aussagen, den Axiomen von T . Da ' aus T
folgt, heit, da ' in allen Strukturen gilt, in denen alle Axiome von T gelten. Der Gdel-
sche Vollstndigkeitssatz (siehe Kap. 4) besagt, da ' genau dann aus T folgt, wenn sich
' aus endlich vielen Axiomen von T durch Anwendung der Regeln des Hilbertkalkls
herleiten lt. Wenn T leer ist, ergibt sich der Spezialfall, da eine Aussage genau dann
allgemeingltig ist, wenn sie im Hilbertkalkl beweisbar ist. Dies wird damit erkauft, da
Ausdruckstrke der Formeln des Prdikatenkalkls stark eingeschrnkt ist. Es lt sich
zum Beispiel nicht mit einer Aussage ausdrcken, da ein Krper die Charakteristik Null
hat oder da in einem angeordneten Krper jede nicht-leere beschrnkte Menge ein Su-
premum hat. (Vergleiche dazu die Aufgaben 21, 22 und 75.)
Zum Beweis von Aussagen, die keine Funktionszeichen und Gleichheitszeichen ent-
halten, eignet sich der Sequenzenkalkl, den wir im Kap. 5 diskutieren, besser als der
Hilbertkalkl. Er ist nher am natrlichen Schlieen und hat die Eigenschaft, da jede
beweisbare Aussage ' einen Beweis hat, der nur Teilformeln von ' verwendet.
Wir werden spter (Satz 18.4) sehen, da sich nicht effektiv entscheiden lt, ob eine
gegebene Aussage ' beweisbar ist. Wenn ' aber beweisbar ist, lt sich ein Beweis von
' effektiv finden. Man knnte zum Beispiel eine Liste aller mglichen Ableitungen im
Hilbertkalkl durchgehen, solange, bis ein Beweis von ' auftaucht. Der Satz von Her-
brand (Kap. 6) liefert ein besseres Verfahren: Man bildet aus ' eine Folge von immer
schwcher werdenden quantorenfreien Aussagen '0 ; '1 ; : : :, mit der Eigenschaft, da '
ist genau dann beweisbar ist, wenn eines dieser 'i beweisbar ist. Die Beweisbarkeit dieser
quantorenfreien Aussagen lt sich effektiv entscheiden. Im letzten Kapitel dieses Teils
geben wir dafr einen vernnftigen Algorithmus an, die Resolutionsmethode.
Strukturen und Formeln
1

Eine Struktur ist eine nicht-leere Menge mit ausgezeichneten Elementen, Operationen und
Relationen. Zum Beispiel

ein Ring .R; 0; 1; C; ; /


eine Gruppe .G; e; ; 1 /
die reellen Zahlen .R; 0; 1; C; ;  ; </
die natrlichen Zahlen N D .N; 0; S; C;  ; </
(S ist die Nachfolgeroperation x 7! x C 1 .)

In diesen Beispielen sind die Relationen zweistellig und die Operationen ein- oder zwei-
stellig. Im Allgemeinen sind beliebige positive Stelligkeiten erlaubt. Nicht alle Gegen-
stnde der Mathematik sind Strukturen. Zum Beispiel ist die Klasse aller Gruppen mit der
Isomorphie als zweistelliger Relation keine Struktur, weil der Grundbereich die Klas-
se aller Gruppen zu gro ist. Eine topologischer Raum ist keine Struktur, auf ihm ist
vielmehr eine Menge von (offenen) Teilmengen ausgezeichnet.
Werden wir etwas prziser:

Definition
Eine Struktur ist ein Paar A D .A; J /, wobei A eine nicht-leere Menge und J eine
Familie von Elementen aus A, Operationen und Relationen auf A ist.

Die Struktur Q D .Q; 0; 1; C; ; / des Krpers der rationalen Zahlen mssen wir
jetzt, streng genommen, schreiben als .Q; .Zi /i <5 /, wobei Z0 D 0, Z1 D 1, Z2 D C,
Z3 D , Z4 D . Damit die Frage ist .Q; 0; 1; ; ; C/ ein Krper? einen Sinn hat, mu
man festlegen, welche Operation die Addition und welche die Multiplikation sein soll.
Der Ausgangspunkt ist also eine Sprache:

Springer International Publishing Switzerland 2017 3


M. Ziegler, Mathematische Logik, Mathematik Kompakt, DOI 10.1007/978-3-319-44180-1_1
4 1 Strukturen und Formeln

Definition
Eine Sprache ist eine Menge von Konstantenzeichen1 , Funktionszeichen und Relati-
onszeichen. Funktionszeichen und Relationszeichen haben eine (positive) Stelligkeit.

Gelegentlich nennt man Relationszeichen, aber auch Relationen, Prdikate.


Eine Liste von Beispielen:

L; D ; Die leere Sprache.


LR D f0; 1; C; ; g Die Ring-Sprache.
LG D fe; ; 1 g Die Gruppen-Sprache.
LO D f<g Die Ordnungs-Sprache.
LAK D LR [ LO Die Angeordnete-Krper-Sprache.
LN D f0; S; C; ; <g Die Sprache der natrlichen Zahlen.
LMe D fg Die Mengenlehre-Sprache.

Dabei sind

Konstanten: 0; 1; e
einstellige Funktionszeichen: ; 1 ; S
zweistellige Funktionszeichen: C; ;
zweistellige Relationszeichen: <; .

Definition
Sei L eine Sprache. Eine L-Struktur ist ein Paar

A D .A; .Z A /Z2L /;

wobei

A eine nicht-leere Menge (die Grundmenge oder das Universum von A)


ist,
Z A 2 A, wenn Z eine Konstante ist,
Z A W An ! A, wenn Z ein n-stelliges Funktionszeichen ist, und
Z A  An , wenn Z ein n-stelliges Relationszeichen ist.

Z A ist also eine Interpretation der Zeichen von L in A.

Definition
Zwei L-Strukturen A und B heien isomorph, A B, wenn es einen Isomorphismus
F W A ! B gibt, eine Bijektion F W A ! B, die mit den Interpretationen der
Zeichen aus L kommutiert:
1
Konstantenzeichen nennen wir auch einfach Konstanten.
1 Strukturen und Formeln 5

F .Z A / D Z B (Z eine Konstante aus L)


F .Z A .a1 ; : : : ; an // D Z B .F .a1 /; : : : ; F .an // (Z ein n-stelliges Funktionszeichen
aus L, a1 ; : : : ; an 2 A)
A B
Z .a1 ; : : : ; an / , Z .F .a1 /; : : : ; F .an // (Z ein n-stelliges Relationszeichen
aus L, a1 ; : : : ; an 2 A)

Man sieht leicht, da man die Bedingung fr Funktionszeichen Z auch schreiben kann
als

Z A .a1 ; : : : ; an / D a0 , Z B .F .a1 /; : : : ; F .an // D F .a0 /:

Das Inverse eines Isomorphismus und die Verknpfung von zwei Isomorphismen sind
wieder Isomorphismen. Daraus folgt, da eine quivalenzrelation ist.
Wir fixieren ein Folge von Variablen v0 ; v1 ; : : :

Definition
Ein L-Term ist eine Zeichenfolge, die nach den folgenden Regeln gebildet ist:

T1 Jede Variable ist ein L-Term.


T2 Jede Konstante aus L ist ein L-Term.
T3 Wenn f ein n-stelliges Funktionszeichen aus L ist und wenn t1 ; : : : ; tn L-Terme
sind, dann ist auch f t1 : : : tn ein L-Term.

Um Terme besser lesbar zu machen, schreiben wir hufig f .t1 ; : : : ; tn / statt f t1 : : : tn .


Wenn f einstellig ist, schreiben wir auch t1 f , wenn f zweistellig ist, auch t1 f t2 . Zum
Beispiel steht .x C y/  .z C w/ fr  C xy C zw und .x y/1 fr 1 xy.
Das folgende Lemma zeigt, weshalb wir auf Klammern verzichten knnen. brigens
wrde der Gebrauch von Klammern den Beweis nicht einfacher machen.

Lemma (Eindeutige Lesbarkeit von Termen) Fr jeden L-Term t tritt genau einer
der folgenden drei Flle ein:
1. t ist eine Variable,
2. t ist eine Konstante,
3. t D f t1 : : : tn , wobei f ein n-stelliges Funktionszeichen und t1 ; : : : ; tn L-Terme
sind.
Im letzten Fall sind f und t1 ; : : : ; tn eindeutig bestimmt.

Beweis Da genau einer der drei Flle eintritt, ist klar. Zu zeigen ist die Eindeutigkeit
der ti . Wenn t D es1 : : : sm fr ein m-stelliges Funktionszeichen e und Terme si , gilt
natrlich e D f und m D n. Da si D ti , folgt aus dem nchsten Hilfssatz. 
6 1 Strukturen und Formeln

Hilfssatz 1.1 Kein L-Term ist echtes Anfangsstck eines anderen L-Terms.

Beweis Sei s Anfangsstck von t. Wir zeigen s D t durch Induktion ber den Aufbau
von t. Wenn t eine Variable oder eine Konstante ist, ist die Behauptung klar. Sonst ist
s D f s1 : : : sn und t D f t1 : : : tn fr ein n-stelliges Funktionszeichen f . Wenn s t,
gibt es einen kleinsten Index i mit si ti . Dann ist si echtes Anfangsstck von ti , oder
umgekehrt, was nach Induktionsvoraussetzung unmglich ist. 

L-Formeln sind Zeichenreihen, die aus den Zeichen aus L, den Klammern . und / als
Hilfszeichen und den folgenden logischen Zeichen gebildet ist:

Variablen v0 ; v1 ; : : :
:
Gleichheitszeichen D
Junktoren : (Negation), ^ (Konjunktion)
Existenzquantor 9

:
Man liest D als gleich, : als nicht, ^ als und und 9 als es gibt ein.

Definition
Die folgenden Ausdrcke sind L-Formeln:

:
F1 t1 D t2 , wenn t1 ; t2 L-Terme sind,
F2 Rt1 : : : ; tn , wenn R ein n-stelliges Relationszeichen aus L und t1 ; : : : ; tn L-Terme
sind,
F3 : , wenn eine L-Formel ist,
F4 . 1 ^ 2 /, wenn 1 und 2 L-Formeln sind,
F5 9x , wenn eine L-Formel und x eine Variable ist.

Jede L-Formel entsteht auf diese Weise.

Formeln der Form F1 und F2 heien Primformeln2 . Die Formeln, die beim Aufbau von
' vorkommen, nennt man die Teilformeln von '.
Wir verwenden folgende Abkrzungen:

. 1 _ 2/ D : .: 1 ^: 2/

. 1 ! 2/ D :. 1 ^: 2/

. 1 $ 2/ D .. 1 ! 2/ ^. 2 ! 1 //

8x D : 9x:

2
Man nennt Primformeln auch atomar.
1 Strukturen und Formeln 7

. 0 ^^ n/ D .: : : . 0 ^ 1/ ^::: n/

n-mal

. 0 __ n/ D .: : : . 0 _ 1/ _::: n/

n-mal

Die Disjunktion _ liest man als oder, die Implikation ! als impliziert, die quivalenz
$ als genau dann, wenn und den Allquantor 8 als fr alle.
Statt Rt1 t2 schreiben wir auch t1 Rt2 , und statt 9x1 : : : 9xn schreiben wir 9x1 ; : : : ; xn
(ebenso fr 8). Zur besseren Lesbarkeit der Formeln gebrauchen wir berflssige Klam-
mern. Wir lassen auch Klammern weg und lesen die Formeln gem der Bindungsstrke
der logischen Zeichen:

Hchste Bindungsstrke: : 98
^
_
Niedrigste Bindungsstrke: ! $

Zum Beispiel steht : ' ^ !  fr

..: ' ^ / ! / D : ..: ' ^ / ^ : /:

Als Beispiel schreiben wir in LR die Krperaxiome auf. Beachte, da das erste Axiom
zum Beispiel voll ausgeschrieben
:
: 9v0 : : 9v1 : C v0 v1 D Cv1 v0

ist. Die Zeichen x; y; z stehen fr die Variablen v0 ; v1 ; v2 .

Die Krperaxiome
:
1. 8x; y x C y D y C x
:
2. 8x x C 0 D x
:
3. 8x x C .x/ D 0
:
4. 8x; y; z .x C y/ C z D x C .y C z/
:
5. 8x; y x  y D y  x
:
6. 8x x  1 D x
:
7. 8x; y; z .x  y/  z D x  .y  z/
:
8. 8x; y; z x  .y C z/ D .x  y/ C .x  z/
: :
9. 8x .: x D 0 ! 9y x  y D 1/
:
10. : 0 D 1

Die ersten acht Axiome drcken aus, da ein Krper insbesondere ein kommutativer Ring
mit Einselement ist. Die ersten vier Axiome sagen, da einem Ring eine additiv geschrie-
bene abelsche Gruppe zugrunde liegt.
8 1 Strukturen und Formeln

Lemma 1.2 (Eindeutige Lesbarkeit von Formeln) Fr jede L-Formel ' tritt genau
einer der folgenden Flle ein.

:
1. ' D t1 D t2 fr L-Terme t1 ; t2
2. ' D Rt1 : : : tn fr ein n-stelliges Relationszeichen R aus L und L-Terme t1 ; : : : ; tn
3. ' D: fr eine L-Formel
4. ' D . 1 ^ 2 / fr L-Formeln 1 und 2
5. ' D 9x fr eine L-Formel und eine Variable x

In jedem der Flle sind die Terme ti , das Relationszeichen R, die Formeln ; 1; 2
und die Variable x jeweils eindeutig bestimmt.

Beweis Da genau einer der fnf Flle auftritt, ist klar. Sie treten ein je nachdem, ob
das erste Zeichen von ' eine Variable, Konstante oder Funktionszeichen ist (Fall 1) oder
ein Relationszeichen (Fall 2) oder ein Negationszeichen (Fall 3) oder eine aufgehende
Klammer (Fall 4) oder ein Existenzquantor (Fall 5). Wir mssen noch die Eindeutigkeit
der Zerlegung in jedem Einzelfall zeigen:
Fall 1: Klar, weil in ' nur ein Gleichheitszeichen vorkommt.
Fall 2: R ist als das erste Zeichen von ' eindeutig bestimmt. Die Eindeutigkeit der ti
folgt aus dem Hilfssatz im Beweis der Eindeutigen Lesbarkeit von Termen.
Fall 3: Klar.
Fall 5: Klar.
Fall 4: Wenn . 1 ^ 2 / D . 10 ^ 20 /, ist 1 Anfangsstck von 10 oder umgekehrt.
Aus dem nchsten Hilfsatz folgt 1 D 10 und also auch 2 D 20 . 

Hilfssatz 1.3 Keine L-Formel ist echtes Anfangsstck einer anderen L-Formel.

Beweis ' und ' 0 seien L-Formeln und ' ein echtes Anfangsstck von ' 0 . Wir zeigen durch
Induktion ber den Aufbau von ' 0 , da das unmglich ist. Es ist klar, da fr ' und ' 0
: :
derselbe Fall auftritt. Wir gehen alle fnf Flle durch: Wenn ' D t1 D t2 und ' 0 D t10 D t20 ,
ist t2 ein echtes Anfangsstck von t20 , was nach dem Hilfssatz im Beweis der Eindeutigen
Lesbarkeit von Termen nicht geht. Wenn ' D Rt1 : : : tn und ' 0 D Rt10 : : : tn0 , gibt es
ein kleinstes i mit ti ti0 . Dann ist ti ein echtes Anfangsstck von ti0 oder umgekehrt:
unmglich. Wenn ' D : und ' 0 D : 0 , ist echtes Anfangsstck von 0 , das
ist unmglich nach Induktionsannahme. ' D 9x ist aus demselben Grund unmglich.
Wenn ' D . 1 ^ 2 / und ' 0 D . 10 ^ 20 /, ist 1 Anfangsstck von 10 oder umgekehrt,
woraus nach Induktionsannahme folgt, da beide gleich sind. Also mu 2 ein echtes
Anfangsstck von 20 sein. Das widerspricht der Induktionsannahme. 
bungsaufgaben 9

bungsaufgaben

1. Sei A eine L-Struktur und B eine nicht-leere Teilmenge von A, die die Interpretationen c A
aller Konstanten enthlt und unter allen Operationen f A abgeschlossen ist. Wenn man die
Interpretation der Zeichen aus L auf B einschrnkt erhlt man eine L-Struktur B. Man nennt
B eine Unterstruktur von A.
Zeigen Sie, da der Durchschnitt einer Familie von Unterstrukturen3 von A entweder leer ist
oder wieder eine Unterstruktur. Daraus folgt, da jede nicht-leere Teilmenge S von A in einer
kleinsten Unterstruktur von A enthalten ist, der von S erzeugten Unterstruktur.
2. Sei A eine L-Struktur mit Grundmenge A. Ein Automorphismus ist ein Isomorphismus von A
mit sich selbst. Zeigen Sie: Wenn A endlich ist, gibt es auf der Grundmenge A genau

Anzahl der Permutationen von A W Anzahl der Automorphismen von A

viele L-Strukturen, die isomorph zu A sind.


3. Zeigen Sie, da sich jedes Endstck eines Terms eindeutig als eine Folge von Termen schreiben
lt.

3
genauer gesagt, von Universen von Unterstrukturen
Semantik
2

Ein L-Term t hat erst dann einen Wert in einer L-Struktur, wenn man die Variablen von t
mit Elementen von A belegt.

Definition
Sei A eine L-Struktur. Eine Belegung ist eine Funktion

W fv0 ; v1 : : :g ! A

von der Menge der Variablen in die Grundmenge von A.

Diese Belegung der Variablen lt sich auf alle Terme fortsetzen. Die folgende rekur-
sive Definition ist wegen der eindeutigen Lesbarkeit von Termen sinnvoll.

Definition
Fr L-Terme t, L-Strukturen A und Belegungen definieren wir t A  durch

viA  D .vi /; falls t D vi (1)


A A
c  D c ; falls t D c (2)
f t1 : : : tnA  D f A .t1A ; : : : ; tnA /; falls t D f t1 : : : tn : (3)

Sei Q der Krper der rationalen Zahlen und t D v0 C v1 v2 . Wenn .vi / D i C 2, ist
t Q  D 2.3 C 4/ D 14.
Das folgende Lemma ist klar.

Lemma Wenn die Belegungen und  auf den Variablen, die in t vorkommen, ber-
einstimmen, ist t A  D t A : 

Springer International Publishing Switzerland 2017 11


M. Ziegler, Mathematische Logik, Mathematik Kompakt, DOI 10.1007/978-3-319-44180-1_2
12 2 Semantik

Wenn wir einen Term in der Form t.x1 ; : : : ; xn / schreiben, meinen wir:

1. da die xi paarweise verschiedene Variablen sind,


2. da in t nur Variablen aus fx1 ; : : : ; xn g vorkommen.

Wenn dann a1 ; : : : ; an Elemente der Struktur A sind, ist wegen des Lemmas t A a1 ; : : : ; an 
durch t A  fr eine Belegung mit .xi / D ai wohldefiniert.
Die folgende rekursive Definition der Semantik ist wiederum wegen der Eindeutigen
Lesbarkeit von Formeln sinnvoll (siehe Kap. 1).

Definition
Sei A eine L-Struktur. Wir definieren fr Belegungen und L-Formeln ' die Relation

A  '

' trifft in A auf zu durch Rekursion ber den Aufbau von ':
:
A  t1 D t2  , t1A  D t2A  (1)
A
A  Rt1 : : : tn  , R .t1A ; : : : ; tnA / (2)
A:  , A  (3)
A. 1 ^ 2 /  ,A 1  und A  2  (4)
a
A  9x  , es gibt ein a 2 A mit A  : (5)
x
(
.y/; wenn y x
Dabei ist xa .y/ D
a; wenn y D x:

Es ist klar, da unsere Abkrzungen die intendierte Interpretation haben. Also, da


z. B.
A. 1 ! 2 / wenn A  1 , dann A  2 :

Ob ' in A auf zutrifft, hngt nur von den freien Variablen von ' ab:

Definition
Die Variable x kommt frei in der Formel ' vor, wenn sie an einer Stelle vorkommt, die
nicht im Wirkungsbereich eines Quantors 9x liegt. Przise definiert durch Rekursion
nach dem Aufbau von ' bedeutet das:
:
x frei in t1 D t2 , x kommt in t1 oder in t2 vor. (1)
x frei in Rt1 : : : tn , x kommt in einem der ti vor. (2)
x frei in : , x frei in (3)
x frei in . 1 ^ 2/ , x frei in 1 oder x frei in 2 (4)
x frei in 9y , x y und x frei in (5)
2 Semantik 13

Zum Beispiel kommt in 8v0 .9v1 R.v0 ; v1 / ^ P .v1 // die Variable v0 nicht frei vor. Die
Variable v1 kommt gebunden und frei vor.

Satz 2.1 (Koinzidenzsatz) Wenn und  an allen Variablen, die frei in ' vorkommen,
bereinstimmen, ist
A  ' , A  ':

Beweis Wir fhren den Beweis durch Induktion ber den Aufbau von ': Wenn ' eine
Primformel ist, folgt die Behauptung aus dem letzten Lemma. Wenn ' eine Negation oder
eine Konjunktion ist, ist der Induktionsschritt einfach. Sei also ' D 9x . Wenn A  ',
gibt es ein a mit A  xa . Abgesehen von x hat die gleichen freien Variablen wie
'. Also ist nach Induktionsvoraussetzung A   xa . Daraus folgt A  '. 

Wenn wir eine Formel in der Form '.x1 ; : : : ; xn / schreiben, meinen wir:

1. da die xi paarweise verschiedene Variablen sind,


2. da in ' nur Variablen aus fx1 ; : : : ; xn g frei vorkommen.

Wenn a1 ; : : : ; an Elemente der Struktur A sind, ist wegen Satz 2.1 A  'a1 ; : : : ; an 
durch A  ' fr eine Belegung mit .xi / D ai wohldefiniert. Auf diese Weise
definiert '.x1 ; : : : ; xn / eine n-stellige Relation

f.a1 ; : : : ; an / j A  'a1 ; : : : ; an g:

Eine Menge der Form fa1 j A  'a1 ; : : : ; an g fr feste a2 ; : : : ; an heit mit Parametern
definierbar.

Definition
Eine Aussage ' ist eine Formel ohne freie Variable. Wir schreiben A  ', wenn A 
' fr ein (alle) und benutzen die folgenden Sprechweisen:

 ' gilt in A.
 ' ist wahr in A.
 A ist Modell von '.
 A erfllt '.

Beispiel
Eine LR -Struktur K D .K; 0; 1; C; ; / ist genau dann ein Krper, wenn in K die Krperaxiome
(Kap. 1) gelten.
14 2 Semantik

Zwei L-Strukturen A und B heien elementar quivalent, A  B, wenn in ihnen die


gleichen Aussagen gelten.
Sei x eine Variable und s ein Term.

 t xs entsteht aus t durch Ersetzen aller Vorkommen von x durch s.


 ' xs entsteht aus ' durch Ersetzen aller freien Vorkommen von x durch s.

Man sieht leicht, da t xs wieder ein Term und ' xs eine Formel ist.
Die rekursive Definition von ' xs ist
: s s : s
.t1 D t2 / D t1 D t2 (1)
x x x
s s s
.Rt1 : : : tn / D Rt1 : : : tn (2)
x  x  x
s s
.: / D: (3)
x x
 
s s s
. 1 ^ 2/ D 1 ^ 2 (4)
x x x
 
s s
.9y / D 9y ; wenn x y (5)
x x
D 9y ; wenn x D y:

Definition
x ist frei fr s in ', falls in ' xs (also nach dem Einsetzen von s in die freien Vorkommen
von x) keine Variable in den eingesetzten Termen s gebunden ist.

Rekursive Definition: x ist frei fr s in ', wenn x nicht frei in ' ist oder wenn x frei
in ' ist und einer der folgenden Flle zutrifft
:
' D t1 D tn ; (1)
' D Rt1 : : : tn ; (2)
'D: und x frei fr s in , (3)
'D. 1 ^ 2/ und x frei fr s in 1 und 2, (4)
' D 9y ; x frei fr s in und y kommt nicht in s vor. (5)

Lemma 2.2 (Substitutionslemma) Sei x eine Variable, s ein Term und eine Bele-
gung mit Werten in der Struktur A.
1. Fr jeden Term t ist
 A  A 
s s 
t  D t A :
x x
2 Semantik 15

2. Fr jede Formel ' ist


 A 
s s 
A  '  A  ' ;
x x

falls x frei fr s in '.

Beweis 1. Induktion ber den Aufbau von t: Wenn t D x, sind beide Seiten der behaupte-
ten Gleichung gleich s A . Wenn t eine Variable verschieden von x ist, sind beide Seiten
gleich .t/. Wenn t eine Konstante ist, steht t A links und rechts. Wenn t ein zusammen-
gesetzter Term f t1 : : : tn ist, schlieen wir induktiv:
 A      A    A 
s s A s  s 
t  D f A t1  : : : D f A t1A : : : D tA :
x x x x

2. Wenn x nicht frei in ' vorkommt, ist ' xs D ', und die Behauptung folgt aus Satz 2.1.
Wir nehmen also an, da x frei in ' vorkommt und schlieen durch Induktion ber den
Aufbau von ': Wenn ' eine Primformel ist, folgt die Behauptung aus dem ersten Teil.
Wenn ' eine Negation oder eine Konjunktion ist, ist der Induktionsschritt trivial. Sei
schlielich ' D 9y . Dann ist y verschieden von x und kommt, weil x frei fr s in
' ist, in s nicht vor. Fr b D s A  haben wir dann
 
s s a
A  '  A  fr ein a
x x y
 A a 
a s y 
A fr ein a .Induktionsvoraussetzung/
y x
 
ab
A fr ein a .weil b D s A ya /
yx
 
ba
A fr ein a .weil x y/
xy
 
b
A' : 
x

Sei t D t.x1 ; : : : ; xn /, ' D '.x1 ; : : : ; xn / und s D s.x1 ; : : : ; xn /. Dann kann man das
Substitutionslemma schreiben als

t.s; x2 ; : : : ; xn /A a1 ; : : : ; an  D t A s A a1 ; : : : ; an ; a2 ; : : : ; an 

und

A  '.s; x2 ; : : : ; xn /a1 ; : : : ; an  A  's A a1 ; : : : ; an ; a2 ; : : : ; an :


16 2 Semantik

Sei LG die in Kap. 1 definierte Gruppensprache. Betrachte die Formel '.x/ D 8y y


:
y D x und den Term s D y. Sei A eine LG -Struktur und irgendeine Belegung. Dann
A
bedeutet A  ' xs , da alle Elemente von A idempotent sind. A  ' s x  bedeutet,
da alle Quadrate gleich .y/ sind. Auf die Voraussetzung, da x frei fr s in ' ist, kann
man also im Substitutionslemma nicht verzichten.

bungsaufgaben

4. Sei A eine Unterstruktur und s0 ; : : : ; sn 2 A. Zeigen Sie: die von fs0 ; : : : ; sn g erzeugte Unter-
struktur besteht gerade aus allen t A s0 ; : : : ; sn  fr L-Terme t .x0 ; : : : ; xn /.
5. Man zeige, da es zu jedem Term t .x1 ; : : : ; xn / der Ring-Sprache LR ein eindeutig bestimmtes
Polynom p.X1 ; : : : ; Xn / 2 ZX1 ; : : : ; Xn  gibt, soda

t R a1 ; : : : ; an  D p.a1 ; : : : ; an /

fr alle kommutativen Ringe R D .R; 0; 1; C; ; / und a1 ; : : : ; an 2 R.


6. Beweisen Sie: Isomorphe Strukturen sind elementar quivalent.
Hinweis: Das ist eigentlich klar, weil L-Aussagen intrinsische Eigenschaften von L-Strukturen
ausdrcken. Wenn man es beweisen will, mu man so vorgehen. Wir fixieren einen Isomor-
phismus F W A ! B und zeigen fr alle Belegungen , Terme t und Formeln ':
1. f .t A / D t B f 
2. A  ' B  'f 
jeweils durch Induktion ber den Aufbau von t bzw. '.
7. Sei R der angeordnete Krper der reellen Zahlen und f W R ! R eine Funktion mit f .0/ D 0.
Betrachte die LAK [ ffNg Struktur .R; f /. Sei .R; f  / zu .R; f / elementar quivalent und
nicht archimedisch, das heit, da es in R Elemente gibt, die grer sind als jede natrliche
Zahl. (Die Existenz eines solchen .R; f  / folgt aus dem Kompaktheitssatz, siehe Aufgabe 22.)
Ein Element  aus R heit infinitesimal, wenn  n1 <  < n1 fr alle positiven natrlichen
Zahlen n.
Zeigen Sie: f ist genau dann stetig bei 0, wenn f  Infinitesimale in Infinitesimale abbildet.
Allgemeingltige Formeln
3

Definition
Eine L-Formel ' heit allgemeingltig, wenn sie fr alle1 Belegungen in allen L-
Strukturen gilt. Wir schreiben dafr

 ':

'.x1 ; : : : ; xn / ist genau dann allgemeingltig, wenn die Aussage

8x1 ; : : : ; xn '.x1 ; : : : ; xn /

allgemeingltig ist.

Beispiel

9x.H.x/ ! 8yH.y//

ist allgemeingltig. Anders ausgedrckt:

In jeder Menschenmenge gibt es einen, wenn der einen Hut trgt, dann auch alle anderen.
(Krivine2 )

(Der Nachweis sei dem dem Leser als bungsaufgabe berlassen.)

Lemma Sei ' eine L-Formel und K eine Erweiterung von L. Dann ist ' als L-Formel
genau dann allgemeingltig, wenn ' als K-Formel allgemeingltig ist.

1
Weil das leere Universum nicht zugelassen ist, besitzt jede Struktur eine Belegung.
2
Jean-Louis Krivine (1939) Paris. Mathematische Logik

Springer International Publishing Switzerland 2017 17


M. Ziegler, Mathematische Logik, Mathematik Kompakt, DOI 10.1007/978-3-319-44180-1_3
18 3 Allgemeingltige Formeln

Beweis Wir knnen annehmen, da ' eine Aussage ist. Wenn A D .A; .Z A /Z2K / eine
K-Struktur ist, in der ' falsch ist, ist ' auch falsch in der Einschrnkung A  L D
.A; .Z A /Z2L / auf L. Wenn ' in der L-Struktur B falsch ist, whlen wir eine Expansion
von B zu einer K-Struktur A, fr die also A  L D B. (Das ist mglich, weil B nicht
leer ist.) Dann ist ' auch in A falsch. 

Formeln wie zum Beispiel .' _ : '/ oder .' ^ .' ! // ! sind allgemeingltig,
weil sie in einer Struktur immer wahr sind, welchen Wahrheitswert die Teilformeln ' und
auch haben. Formeln dieser Art heien Tautologien. Um zu einer przisen Definition
zu kommen, fhren wir Aussagenlogik ein. Aussagenlogische Formeln bauen sich aus
Aussagenvariablen (aus einem Vorrat M von Aussagenvariablen) mit : und ^ auf. _; !
und $ werden wie frher als Abkrzungen verstanden. Eine Belegung ist eine Abbildung
 W M ! fW; Fg in die Menge der Wahrheitswerte. Wir setzen  auf die Menge aller
Formeln gem .: f / D : ..f // und .f ^ g/ D .f / ^ .g/ fort, wobei : und
^ auf der Menge der Wahrheitswerte durch die Wahrheitstafeln

^ W F :
W W F und W F
F F F F W

definiert sind. Eine aussagenlogische Formel, die bei allen Belegungen den Wahrheitswert
W bekommt, heit allgemeingltig. Zum Beispiel sind fr Variablen p und q die Formeln
.p _ : p/ und .p ^ .p ! q/ ! q/ allgemeingltig.
Wenn wir die Variablen pi einer aussagenlogischen Formel f D f .p1 : : : ; pn / durch
L-Formeln 'i ersetzen, erhalten wir eine L-Formel f .'1 ; : : : ; 'n /.

Definition
Eine Tautologie entsteht aus einer allgemeingltigen aussagenlogischen Formel durch
Ersetzen der Variablen durch L-Formeln.

Tautologien sind zum Beispiel ' _ : ' und .' ^ .' ! // ! .

Lemma (Tautologien) Tautologien sind allgemeingltig.

Beweis Wenn man L-Formeln 'i in eine aussagenlogische Formel f D f .p1 ; : : : ; pn /


einsetzt, ergibt sich fr alle Belegungen :

A  f .'1 ; : : : ; 'n / .f / D W;

wobei .pi / D W , A  'i . Das beweist man leicht durch Induktion ber den
Aufbau von f . 
3 Allgemeingltige Formeln 19

Lemma (Axiome der Gleichheit) Die folgenden L-Aussagen sind allgemeingltig.


:
8x x D x (Reflexivitt)
: :
8x; y .x D y ! y D x/ (Symmetrie)
: : :
8x; y; z .x D y ^ y D z ! x D z/ (Transitivitt)
 : :
8x1 ; : : : ; xn ; y1 ; : : : yn x1 D y1 ^ : : : ^ xn D yn (Kongruenz 1)
: 
! f x1 : : : xn D f y1 : : : yn
 : :
8x1 ; : : : ; xn ; y1 ; : : : yn x1 D y1 ^ : : : ^ xn D yn (Kongruenz 2)

! .Rx1 : : : xn $ Ry1 : : : yn /

Dabei sind die f n-stellige Funktionszeichen und die R n-stellige Relationszeichen


aus L.

Beweis Klar. 

Die Gleichheitsaxiome drcken aus, da D eine Kongruenzrelation3 ist.

Lemma (9-Quantorenaxiome) Sei ' eine L-Formel, t ein L-Term und x frei fr t
in '. Dann ist
t
' ! 9x'
x
allgemeingltig.

Beweis Sei eine Belegung mit Werten in A. Dann folgt aus dem Substitutionslemma
(vgl. Kap. 2).
 A 
t t 
A  '  H) A  ' H) A  9x': 
x x

Da es notwendig ist, x frei fr t in ' vorauszusetzen, zeigt folgendes Beispiel: Sei


: : :
' D 8y y D x und t D y . Die Aussage 8y y D y ! 9x8y x D y ist nicht
allgemeingltig.
Das folgende Lemma ist klar:

Lemma (Modus Ponens) Wenn ' und .' ! / allgemeingltig sind, dann auch .


3
Eine Kongruenzrelation E auf A ist eine quivalenzrelation, fr die a1 Eb1 ; : : : ; an Ebn impliziert,
da f A .a1 : : : an /Ef A .b1 ; : : : ; bn /, RA .a1 ; : : : ; an / , RA .b1 ; : : : ; bn /.
20 3 Allgemeingltige Formeln

Lemma (9-Einfhrung) Wenn x nicht frei in vorkommt, dann ist mit ' ! auch
9x' ! allgemeingltig.4

Beweis Wenn A  9x', gibt es ein a 2 A mit A  ' xa . Ist ' ! allgemeingltig,
so gilt auch A  xa . Aus Satz 2.1 (Koinzidenzsatz) folgt dann A  . 

bungsaufgaben zur Aussagenlogik

8. Eine Boolesche5 Algebra .B; 0; 1; u; t; c / ist eine Menge B mit zwei ausgezeichneten Elemen-
ten 0 und 1 und Operationen u; t W B 2 ! B und c W B ! B, fr die die folgenden Gleichungen
gelten:

Idempotenz auaDa ataDa


Kommutativitt aub D bua atb D bta
Assoziativitt .a u b/ u c D a u .b u c/ .a t b/ t c D a t .b t c/
Absorption a u .a t b/ D a a t .a u b/ D a
Distributivitt a u .b t c/ D .a u b/ t .a u c/ a t .b u c/ D .a t b/ u .a t c/
Null und Eins 0ua D0 1ta D1
Komplement aua D 0
c
a t ac D 1

Die Potenzmenge P.X / einer Menge X wird eine Boolesche Algebra, wenn man fr 0 die
leere Menge, fr 1 die Menge X , fr u und t Durchschnitt und Vereinigung und fr c das
Komplement in X nimmt. Der Stonesche Darstellungssatz (siehe [18]) besagt, da jede Boole-
sche Algebra isomorph zu einer Unteralgebra einer Potenzmengenalgebra ist.
Zeigen Sie, da man in der Definition einer Booleschen Algebra auf eine der beiden Distribu-
tivittsregeln verzichten kann.
9. In Booleschen Algebren gelten die de Morganschen6 Regeln:

.a u b/c D ac t b c
.a t b/c D ac u b c
.ac /c D a

10. Wir nennen zwei aussagenlogische Formeln quivalent, wenn sie bei allen Belegungen der
Variablen den gleichen Wahrheitswert haben. Sei M eine nicht-leere Menge von Variablen
und L.M / die Menge der quivalenzklassen von aussagenlogischen Formeln in Variablen aus
M . Zeigen Sie, da L.M / eine Boolesche Algebra ist, wenn man fr 0 die quivalenzklasse
einer Formel nimmt, die bei allen Belegungen den Wahrheitswert F hat, zum Beispiel .p ^
: p/, fr 1 die quivalenzklasse einer allgemeingltigen Formel, fr u und t Konjunktion
und Disjunktion und fr c die Negation.

4
Man spricht von Existenzeinfhrung.
5
George Boole (18151864) Cork (Irland). Mathematische Logik
6
Augustus de Morgan (18061871) London. Algebra, Analysis, Mathematische Logik
bungsaufgaben zur Aussagenlogik 21

Hinweis: Sei B die Menge aller Belegungen W M ! fW; Fg. Dann induziert die Abbildung
f 7! f 2 B j .f / D Wg einen Isomorphismus von L.M / mit einer Unteralgebra von
P.B/.
11. Zeigen Sie, da jede aussagenlogische Formel quivalent ist zu einer Formel in disjunktiver
Normalform

_
N
ki ;
iD1

wobei die ki Konjunktionen von Variablen und negierten Variablen sind. Dual dazu ist jede
Formel auch quivalent zu einer konjunktiven Normalform

^
N
di ;
iD1

wobei die di Disjunktionen von (negierten) Variablen sind.


Hinweis: Verwenden Sie das Distributivgesetz und die de Morganschen Regeln
12. Zeigen Sie, da f^; : g ein vollstndiges Junktorensystem ist. Das heit, da sich jede Funktion
F W fW; Fgn ! fW; Fg durch eine aussagenlogische Formel f .p1 ; : : : ; pn / darstellen lt, also
da

F ..p1 /; : : : ; .pn // D .f /

fr alle Belegungen W fp1 ; : : : ; pn g ! fW; Fg.


13. Zeigen Sie, da der Sheffersche7 Strich

.f jg/ D : .f ^ g/

ein vollstndiges Junktorensystem bildet.

7
Henry M. Sheffer (18821964) Harvard. Mathematische Logik
Der Gdelsche Vollstndigkeitssatz
4

Definition (Der Hilbertkalkl1 )


L sei eine Sprache. Eine L-Formel ist beweisbar, wenn sie

B1 eine Tautologie ist,


B2 ein Gleichheitsaxiom ist,
B3 ein 9-Quantorenaxiom ist,
B4 sich mit Hilfe der Modus Ponens Regel aus zwei beweisbaren L-Formeln ergibt,
B5 oder wenn sie sich mit der Regel der 9-Einfhrung aus einer beweisbaren L-Formel
ergibt.

Wir schreiben:

`L '

Das Ziel dieses Kapitels ist es, den Gdelschen2 Vollstndigkeitssatz zu beweisen.

Satz (Vollstndigkeitssatz, [10]) Ein Formel ist genau dann allgemeingltig, wenn
sie beweisbar ist:
 ' `L '

Es folgt, da `L ' von der Sprachumgebung unabhngig ist (vgl. das Lemma zum
Beginn von Kap. 3). Wir verwenden darum spter die Notation

` ':

1
David Hilbert (18621943) Gttingen. Algebraische Geometrie, Zahlentheorie, Funktionalanaly-
sis, Physik, Mathematische Logik
2
Kurt Gdel (19061978) Princeton. Mathematische Logik, Relativittstheorie

Springer International Publishing Switzerland 2017 23


M. Ziegler, Mathematische Logik, Mathematik Kompakt, DOI 10.1007/978-3-319-44180-1_4
24 4 Der Gdelsche Vollstndigkeitssatz

Die eine Richtung (der sogenannte Korrektheitsatz) ist leicht zu zeigen: Die Menge der
allgemeingltigen Stze hat wegen der Lemmas in Kap. 3 die Eigenschaften B1B5. Also
sind alle beweisbaren Stze allgemeingltig. Der Beweis der Umkehrung macht den Rest
des Kapitels aus.
Zuerst ergnzen wir Axiome und Regeln durch abgeleitete Axiome und Regeln.

Lemma 4.1 1. (Aussagenlogik) Wenn '1 ,. . . ,'n beweisbar sind und .'1 ^: : :^'n / !
eine Tautologie ist, ist auch beweisbar.
2. (8-Quantorenaxiome) Wenn x frei fr t in ', ist

t
`L 8x' ! ' :
x

3. (8-Einfhrung) Wenn x nicht frei in ' ist, dann folgt aus der Beweisbarkeit von
' ! die Beweisbarkeit von ' ! 8x . Insbesondere folgt aus der Beweisbarkeit
von die Beweisbarkeit von 8x :

Beweis 1. Die Behauptung gilt auch, wenn wir nur annehmen, da .'1 ^ : : : ^ 'n / !
beweisbar ist. Man sieht leicht, da

..'1 ^ : : : ^ 'n / ! / ! .'1 ! .'2 ! .   .'n ! /    ///

eine Tautologie ist. Modus Ponens ergibt also die Beweisbarkeit von

'1 ! .'2 ! .   .'n ! /    //:

Nach n-maliger Anwendung von Modus Ponens sehen wir, da `L .


2. : ' xt ! 9x: ' ist ein 9-Quantorenaxiom.
   
t t
:' ! 9x: ' ! : 9x: ' ! '
x x

ist eine Tautologie (entstanden aus der allgemeingltigen Formel .: p ! q/ !


.: q ! p/). Mit Modus Ponens ergibt sich `L : 9x: ' ! ' xt .
3. Wenn `L ' ! , folgt mit einer Anwendung von Aussagenlogik, da `L : !
: '. Nun ergibt 9-Einfhrung `L 9x: ! : ', und mit Aussagenlogik folgt `L ' !
: 9x: . Um den letzten Teil der Behauptung zu zeigen, nehmen wir an, da beweisbar
ist. Wir nehmen uns dann eine Tautologie ', die x nicht frei enthlt. Aussagenlogik ergibt
die Beweisbarkeit von ' ! , woraus die Beweisbarkeit von ' ! 8x folgt. Mit
Modus Ponens ergibt sich `L 8x . 
4 Der Gdelsche Vollstndigkeitssatz 25

Das Lemma erleichtert das Fhren von Beweisen sehr. Wir geben als Beispiel einen
Beweis3 der allgemeingltigen Aussage 9x8yRxy ! 8y9xRxy:

8yRxy ! Rxy 8-Quantorenaxiom (1)


Rxy ! 9xRxy 9-Quantorenaxiom (2)
8yRxy ! 9xRxy aus (1) und (2) mit Aussagenlogik (3)
8yRxy ! 8y9xRxy aus (3) mit 8-Einfhrung (4)
9x8yRxy ! 8y9xRxy aus (4) mit 9-Einfhrung (5)

Das nchste Lemma zeigt, da wir uns beim Beweis des Vollstndigkeitssatzes auf Aus-
sagen beschrnken knnen.

Lemma 4.2 Sei '.x1 ; : : : ; xn / eine L-Formel, C eine Menge von neuen Konstanten
und c1 ; : : : ; cn eine Folge von paarweise verschiedenen Elementen von C . Dann ist

`L[C '.c1 ; : : : ; cn / `L '.x1 ; : : : ; xn /:

Insbesondere gilt fr Aussagen `L[C ' , `L '.

Beweis Ein L-Beweis von ist eine Folge von L-Formeln, die entweder Axiome sind
oder mit den beiden Regeln aus frheren Formeln folgen, und die bei endet.
Sei nun B.c1 ; : : : ; cn / ein L [ C -Beweis von '.c1 ; : : : ; cn /. (Wir knnen annehmen,
da alle neuen Konstanten, die im Beweis vorkommen, in der Liste c1 ; : : : ; cn aufge-
fhrt sind.) Wenn wir berall im Beweis die Konstanten ci durch Variable yi ersetzen,
die sonst im Beweis nicht vorkommen, erhalten wir einen L-Beweis B.y1 ; : : : ; yn /
von '.y1 ; : : : ; yn /. 8-Einfhrung ergibt (n-mal angewendet) 8y1 ; : : : ; yn '.y1 ; : : : ; yn /.
Zusammen mit den 8-Quantorenaxiomen 8yi ; : : : ; yn '.x1 ; : : : ; xi 1 ; yi ; : : : ; yn / !
8yi C1 ; : : : ; yn '.x1 ; : : : ; xi ; yi C1 : : : ; yn /, (i D 1; : : : ; n), und Aussagenlogik ergibt sich
`L '.x1 ; : : : ; xn /.
Wenn umgekehrt `L '.x1 ; : : : ; xn / gilt, liefert 8-Einfhrung

`L 8x1 ; : : : ; xn '.x1 ; : : : ; xn /;

woraus `L[C '.c1 ; : : : ; cn / folgt. 

Eine L-Theorie ist eine Menge von L-Aussagen. Eine L-Theorie T heit wider-
spruchsfrei oder konsistent, wenn man nicht Aussagen '1 ; : : : ; 'n aus T finden kann,
die sich widersprechen, das heit, fr die `L : .'1 ^ : : : ^ 'n /. (Man beachte, da es

3
Eigentlich geben wir nur einen Beweis der Beweisbarkeit.
26 4 Der Gdelsche Vollstndigkeitssatz

wegen Lemma 4.1 (1) auf die Klammerung und Reihenfolge der 'i nicht ankommt.) Eine
Aussage ' ist genau dann nicht beweisbar, wenn f: 'g widerspruchsfrei ist. Denn man
hat ` ' ) ` : : ' und ` : .: ' ^ : : : ^ : '/ ) ` '. Ein Modell von T ist eine
L-Struktur, in der alle Aussagen aus T gelten. Der Vollstndigkeitssatz folgt also aus dem
nchsten Satz, der, weil T auch unendlich sein kann, noch eine wesentliche Verstrkung
darstellt.
Sei T eine widerspruchsfreie L-Theorie. Aus dem letzten Lemma folgt, da T auch als
L [ C -Theorie widerspruchsfrei ist. Der nchste Satz hat sogar zur Folge, da, fr jede
Erweiterung K von L, T als K-Theorie widerspruchsfrei ist,

Satz 4.3 Eine Theorie hat genau dann ein Modell, wenn sie widerspruchsfrei ist.

Beweis Eine Theorie, die ein Modell hat, mu natrlich (nach dem Korrektheitssatz) wi-
derspruchsfrei sein.
Fr die Umkehrung mssen wir zu einer widerspruchsfreien L-Theorie T ein Modell
konstruieren. Wir tun das, indem wir T zuerst zu einer Theorie T  erweitern, die aussieht
wie das vollstndige Diagramm einer L-Struktur A: Wir indizieren die Elemente von A
mit neuen Konstanten aus einer Menge C

A D fac j c 2 C g:

Das vollstndige Diagramm ist dann die Menge aller L [ C -Aussagen, die in der L [ C -
Struktur A D .A; ac /c2C gelten. Man sieht sofort, da das vollstndige Diagramm eine
vollstndige Henkintheorie ist im Sinn der folgenden Definition:

Definition
1. Eine L [ C -Theorie T C heit Henkintheorie4 mit Konstantenmenge C , wenn es zu
jeder L [ C -Formel '.x/ eine Konstante c 2 C gibt mit
 
9x'.x/ ! '.c/ 2 T C :

2. Eine K-Theorie T  ist vollstndig, wenn sie widerspruchsfrei ist und wenn

' 2 T oder : ' 2 T 

fr jede K-Aussage '.5

Wir werden zuerst zeigen, da T in einer vollstndigen Henkintheorie T  enthalten ist.


Dann beweisen wir, da T  das vollstndige Diagramm eines Modells ist (das dadurch im
wesentlichen eindeutig bestimmt ist.)

4
Leon Henkin (19212006) Berkeley. Mathematische Logik
5
Die offizielle Definition der Vollstndigkeit am Ende von Kap. 15 ist schwcher.
4 Der Gdelsche Vollstndigkeitssatz 27

Schritt 1 T ist in einer widerspruchsfreien Henkintheorie T C enthalten.



Beweis:
 Sei '.x/ eine L-Formel und c eine neue Konstante. Dann ist T [ .9x'.x/ !
'.c// widerspruchsfrei. Denn wenn fr eine L-Aussage
 
`L[fcg : ^ .9x'.x/ ! '.c// ;
so folgt (mit Aussagenlogik) `L[fcg : 9x'.x/ ! : und `L[fcg '.c/ ! : . Aus
Lemma 4.2 folgt `L : 9x'.x/ ! : und `L '.x/ ! : . Das letztere hat aber nach
der 9-Einfhrungsregel `L 9x'.x/ ! : zur Folge, und insgesamt ergibt sich (mit
Aussagenlogik) `L : . Daraus ergibt sich: Wenn T widerspruchsfrei
 ist, dann kann es
keine 1 : : : n 2 T mit `L[fcg : 1 ^ : : : ^ .9x'.x/ ! '.c// geben.
Daraus folgt, da, wenn wir fr jede L-Formel '.x/ eine eigene Konstante c' ein-
fhren, die Theorie T1 D T [ f9x'.x/ ! '.c' / j '.x/ L-Formelg widerspruchsfrei
ist (als L [ C1 -Theorie, wobei C1 D fc' j '.x/ L-Formelg). Jetzt fhren wir fr jede
L [ C1 -Formel eine neue Konstante ein und erhalten eine L [ C1 [ C2 -Theorie T2 . Wenn
S
wir so fortfahren, erhalten wir eine Henkintheorie T C D i 2N Ti mit Konstantenmenge
S
C D i 2N Ci . T C ist widerspruchsfrei, weil je endlich viele Aussagen aus T C immer
schon in einem gengend groen Ti vorkommen und sich daher nicht widersprechen kn-
nen.

Schritt 2 Jede widerspruchsfreie K-Theorie T C lt sich zu einer vollstndigen K-


Theorie T  erweitern.
Beweis: Sei ' eine K-Aussage. Wenn weder T C [f'g noch T C [f: 'g widerspruchs-
frei wren, gbe es Aussagen i und j aus T C , fr die
`K 1 ^:::^ n ! :' und `K 1 ^ : : : ^ m ! ':
Mit Aussagenlogik ergbe sich
`K : . 1 ^:::^ n ^ 1 ^ : : : ^ m /;
und T C wre nicht widerspruchsfrei.
Es ist also immer T C [ f'g oder T C [ f: 'g widerspruchsfrei. Wenn K hchstens
abzhlbar ist, knnen wir T  auf einfache Weise gewinnen: Wir zhlen die Menge aller
K-Aussagen als '0 ; '1 : : : auf und nehmen der Reihe nach jeweils 'i oder : 'i hinzu.
Wenn K berabzhlbar ist, verwenden wir Zorns Lemma (siehe Satz 10.2): Weil die Ver-
einigung jeder Kette von widerspruchsfreien K-Theorien widerspruchsfrei ist, gibt es eine
maximale widerspruchsfreie K-Theorie T  , die T C enthlt. Dann ist T  [f'g genau dann
widerspruchsfrei, wenn ' 2 T  , und T  ist vollstndig. Damit ist die Behauptung bewie-
sen.
Wir vermerken, da aus der Vollstndigkeit folgt, da T  deduktiv abgeschlossen ist.
Das heit, wenn 1 ; : : : ; n zu T  gehren und
`K 1 ^:::^ n ! ';
dann gehrt auch zu T  .
28 4 Der Gdelsche Vollstndigkeitssatz

Schritt 3 Eine vollstndige Henkintheorie T  hat ein Modell aus Konstanten, das heit
ein Modell A D .A; ac /c2C mit A D fac j c 2 C g. A ist bis auf Isomorphie eindeutig
bestimmt.
Beweis der Eindeutigkeit: Sei B D .B; bc /c2C ein zweites Modell aus Konstanten.
Weil T  vollstndig ist, ist T  das vollstndige Diagramm von A. Es ist also fr alle
L [ C -Aussagen '

A  ' , ' 2 T , B  ':

Weil daher fr c; d 2 C
: :
ac D ad , A  c D d , B  c D d , bc D bd ;

liefert F .ac / D bc eine Bijektion zwischen A und B, die nach Konstruktion die Inter-
pretation der Konstanten aus C respektiert. Da die Relationen respektiert werden, folgt
aus

RA .ac1 ; : : : ; acn / , A  R.c1 ; : : : ; cn / , B  R.c1 ; : : : ; cn /


, RB .bc1 ; : : : ; bcn /:

Ebenso schliet man, da fr Funktionszeichen und Konstanten f 2 L

f A .ac1 ; : : : ; acn / D ac0 , f B .bc1 ; : : : ; bcn / D bc0 :

Beweis der Existenz: Um A zu konstruieren, mssen wir Elemente ac , (c 2 C ), finden


mit
:
ac D ad , c D d 2 T : (1)

Das ist genau dann mglich, wenn die Relation


:
cd , c D d 2 T

eine quivalenzrelation ist. Dann knnen wir nmlich fr ac die quivalenzklasse von c
nehmen. Nun folgt aber aus dem ersten Gleichheitsaxiom und dem 8-Quantorenaxiom,
: :
da `L[C c D c und, weil T  deduktiv abgeschlossen ist, c D c 2 T  .  ist also reflexiv.
: : : :
Aus dem gleichen Grund ist .c D d ^ d D e ! c D e/ 2 T  . Wenn nun c D d 2 T 
:  : 
und d D e 2 T , folgt, wegen der deduktiven Abgeschlossenheit, c D e 2 T . Damit ist
 transitiv. Ebenso folgt die Symmetrie aus dem dritten Gleichheitsaxiom.
Wir setzen A D fac j c 2 C g.
Jetzt mssen wir fr jedes Relationszeichen R 2 L eine Relation RA auf A finden,
soda

RA .ac1 ; : : : ; acn / , R.c1 ; : : : ; cn / 2 T  : (2)


4 Der Gdelsche Vollstndigkeitssatz 29

Wir knnen (2) als Definition nehmen, wenn wir zeigen knnen, da

ac1 D ad1 ; : : : ; acn D adn ; R.c1 ; : : : ; cn / 2 T  ) R.d1 ; : : : ; dn / 2 T  :

Das folgt aber aus dem fnften Gleichheitsaxiom und der deduktiven Abgeschlossenheit
von T  . Sei f ein n-stelliges Funktionszeichen oder eine Konstante (dann setzen wir
n D 0) aus L. Wir mssen eine Operation f A auf A so definieren, da
:
f A .ac1 ; : : : ; acn / D ac0 , f .c1 ; : : : ; cn / D c0 2 T  : (3)

Dazu mssen wir erstens fr alle c1 ; : : : ; cn ein c0 finden, fr das die rechte Seite von
:
(3) gilt. Aus `L[C f .c1 ; : : : ; cn / D f .c1 ; : : : ; cn / folgt aber mit dem 9-Quantorenaxiom
:
`L[C 9x f .c1 ; : : : ; cn / D x. Weil T  eine Henkintheorie ist, gibt es ein c0 2 C mit
: :
.9x f .c1 ; : : : ; cn / D x ! f .c1 ; : : : ; cn / D c0 / 2 T  . Aus der deduktiven Abgeschlos-
senheit folgt die rechte Seite von (3).
Zweitens mssen wir zeigen, da ac0 durch die rechte Seite von (3) eindeutig bestimmt
:
ist und nur von den ac1 ; : : : ; acn abhngt. Das heit, da c0 D d0 zu T  gehrt, wenn
: : : :
c1 D d1 ; : : : ; cn D dn , f .c1 ; : : : ; cn / D c0 und f .d1 ; : : : ; dn / D d0 zu T  gehren. Das
folgt aber aus den Gleichheitsaxiomen und der deduktiven Abgeschlossenheit von T  .
Konstante Terme (das heit, Terme ohne Variable) werden in A so ausgerechnet, wie
es T  sagt:
 :
t A D ac , t D c 2 T (4)

Wir zeigen das durch Induktion ber den Aufbau von t: Wenn t eine Konstante aus C ist,

folgt die Behauptung aus (1). Wenn t D f t1 : : : tn und tiA D aci , sind nach Induktions-
:
voraussetzung die Gleichungen ti D ci in T  . Aus dem vierten Gleichheitsaxiom folgt,
da
: :
t D c 2 T , f c1 : : : cn D c 2 T  :

Andererseits ist
  :
t A D ac , f A .ac1 ; : : : ; acn / D ac , f c1 : : : cn D c 2 T  :

Schlielich beweisen wir durch Induktion ber den Aufbau der Aussage ', da

A  ' , ' 2 T :
:
1. Fall: ' D t1 D t2
 :
Sei tiA D aci . Dann ist nach (4) ti D ci 2 T  fr i D 1; 2 und daher
: :
A  ' , ac1 D ac2 , c1 D c2 2 T  , t1 D t2 2 T  :
30 4 Der Gdelsche Vollstndigkeitssatz

2. Fall: ' D Rt1 : : : ; tn


 :
Sei tiA D aci . Dann ist nach (4) ti D ci 2 T  fr i D 1; : : : ; n und

A  ' , Rc1 : : : cn 2 T  , ' 2 T :

Die letzte quivalenz folgt aus dem fnften Gleichheitsaxiom.


3. Fall ' D :
Weil T  vollstndig ist, gilt

A  ' , A , T , ' 2 T :

4. Fall ' D . 1 ^ 2 /
Aus der deduktiven Abgeschlossenheit von T  folgt:

A  ' , A  i .i D 1; 2/ , i 2 T  .i D 1; 2/ , ' 2 T :

5. Fall ' D 9x
Aus der deduktiven Abgeschlossenheit von T  folgt 9x 2 T  , wenn .c/ 2 T  fr
ein c 2 C . Wenn umgekehrt 9x 2 T  und 9x ! .c/ 2 T  , folgt .c/ 2 T  . Also
haben wir

A  ' , A  ac  fr ein c 2 C , A  .c/ fr ein c 2 C


 
, .c/ 2 T fr ein c 2 C , '2T :

Damit ist der Satz bewiesen. 

Definition
Sei T eine L-Theorie und ' eine L-Aussage.

1. ' ist in T beweisbar ,

T ` ';

wenn es Axiome 1 ; : : : ; n aus T gibt fr die 1 ^^ n ! ' beweisbar ist.


2. ' folgt logisch aus T ,

T  ';

wenn ' in allen Modellen von T gilt.

Folgerung 4.4
T `' , T '
4 Der Gdelsche Vollstndigkeitssatz 31

Beweis ' ist in T genau dann nicht beweisbar, wenn T [ f: 'g widerspruchsfrei ist.
Andererseits folgt ' genau dann nicht logisch aus T , wenn T [ f: 'g ein Modell hat. 

Folgerung 4.5 (Kompaktheitssatz) Eine Theorie hat genau dann ein Modell, wenn
jede endliche Teilmenge ein Modell hat.

Den Kompaktheitssatz knnte man den ersten Hauptsatz der Modelltheorie nennen.
Der zweite Hauptsatz wre dann der Satz von Lwenheim-Skolem.

Folgerung (Lwenheim6 -Skolem7 ) Wenn eine Theorie mit hchstens abzhlbarer


Sprache eine Modell hat, hat sie ein hchstens abzhlbares Modell.

Beweis Im Beweis des letzten Satzes wurde die Sprache durch eine Konstantenmenge C
erweitert. Zu jeder L-Formel wurde eine Konstante eingefhrt und dieser Proze abzhl-
bar oft wiederholt. Wenn L hchstens abzhlbar ist, ist also auch C hchstens abzhlbar.
Das im Beweis konstruierte Modell hat aber hchstens so viele Elemente wie C . 

Zwei Lehrbcher der Modelltheorie seien hier genannt: Das Buch von Dave Marker,
[21], und [25].
Am Schlu dieses Kapitels bemerken wir noch, da man sich in vielen Fllen auf For-
meln ohne Gleichheitszeichen zurckziehen kann. Sei T eine L-Theorie und E ein neues
zweistelliges Relationszeichen. Wir bezeichnen mit

:
 T .D=E/ die L [ fEg-Theorie, die aus T entsteht, indem man in den Axiomen alle
:
Teilformeln t1 D t2 durch Et1 t2 ersetzt,
 KongL Axiome, die ausdrcken, da E eine Kongruenzrelation ist.

Dann gilt:

:
Lemma 4.6 T ist genau dann konsistent, wenn T .D=E/ [ KongL konsistent ist.

:
Beweis Ein Modell von T wird ein Modell von T .D=E/ [ KongL , wenn man E durch
:
die Gleichheit interpretiert. Sei umgekehrt .A; E A / ein Modell von T .D=E/ [ KongL .
Dann ist E eine Kongruenzrelation auf A. Definiere die L-Struktur B auf der Grund-

6
Leopold Lwenheim (18781957) Berlin. Mathematische Logik
7
Thoralf Skolem (18871963) Oslo. Zahlentheorie, Gruppentheorie, Verbandstheorie, Mathemati-
sche Logik
32 4 Der Gdelsche Vollstndigkeitssatz

menge A=E A durch


cB D cA E
f B .a1 E; : : : ; an E/ D f A .a1 ; : : : ; an /E
RB .a1 E; : : : ; an E/ , RA .a1 ; : : : ; an /:
B ist ein Modell von T . 

I Bemerkung Der Beweis des Vollstndigkeitssatzes zeigt, da eine allgemeingltige


Formel ohne Gleichheitszeichen einen Beweis hat, in dem keine Gleichheitszeichen vor-
kommen.

bungsaufgaben

14. Eine Menge T von aussagenlogische Formeln heit erfllbar, wenn es eine Belegung der Va-
riablen gibt, bei der alle Formeln aus T wahr werden. Der Kompaktheitssatz der Aussagenlogik
besagt:
T ist genau dann erfllbar, wenn jede endliche Teilmenge von T erfllbar ist.
Beweisen Sie den Kompaktheitssatz der Aussagenlogik auf zwei Weisen:
1. Durch Reduktion auf den Kompaktheitssatz (4.5). Betrachte eine Sprache L, die fr jede
Aussagenvariable ein einstelliges Relationszeichen hat, und bersetze T in eine L-Theorie.
2. Erweitere T zu einer maximalen endlich erfllbaren Formelmenge T  (in denselben Va-
riablen), und setze

.p/ D W p 2 T  :

15. Ein Graph G D .E; K/ besteht aus einer Eckenmenge E und einer zweistelligen, symmetri-
schen, irreflexiven Relation K. Ecken, die in der Relation K stehen, heien mit einer Kante
verbunden. Eine N -Frbung von G ordnet jeder Ecke eine der Farben c1 ; : : : ; cN zu, soda
verbundene Ecken verschiedene Farben haben. Zeigen Sie mit Hilfe des Kompaktheitssatzes
der Aussagenlogik: G ist genau dann N -frbbar, wenn jeder endlichen Teilgraph N -frbar ist.
Hinweis: Fhren Sie fr jede Ecke e und jede Farbe cn eine Aussagenvariable pe;n ein.
16. Sei M eine Menge von Aussagenvariablen. Wir geben fW; Fg die diskrete Topologie und ver-
sehen B D fW; FgM mit der Produkttopologie. Zeigen Sie, da fr jede aussagenlogische
Formel f die Menge f 2 B j .f / D Wg abgeschlossen ist. Der Kompaktheitssatz der Aus-
sagenlogik folgt nun aus der Kompaktheit von B. (Nach dem Satz von Tychonoff (siehe [15])
ist das Produkt von kompakten Rumen wieder kompakt.)
17. Sei A ein L-Struktur. Eine Unterstruktur C heit elementare Unterstruktur, wenn

A  'c1 ; : : : ; cn  C  'c1 ; : : : ; cn 

fr alle '.x1 ; : : : ; xn / und c1 ; : : : ; cn 2 C


Zeigen Sie:
1. (Tarski8 -Kriterium) C ist genau dann Universum einer elementaren Unterstruktur von A,
wenn fr alle '.x; y1 ; : : : ; yn / und alle d1 ; : : : ; dn 2 C das folgende gilt: Wenn es ein a 2 A
mit A  'a; d1 ; : : : ; dn  gibt, dann gibt es auch ein c 2 C mit A  'c; d1 ; : : : ; dn .

8
Alfred Tarski (19011983) Berkeley. Mathematische Logik
bungsaufgaben 33

Hinweis: Die eine Richtung ist einfach; die andere folgt durch Induktion ber den Aufbau
von '.
2. Wenn L hchstens abzhlbar ist, hat jedes A eine hchstens abzhlbare elementare Unter-
struktur.
Hinweis: Analog zur Konstruktion von T C im Beweis von Satz 4.3.
18. Eine Klasse von L-Strukturen heit elementar, wenn sie die Klasse aller Modelle einer Theorie
ist. Zeigen Sie:
1. Die Klasse aller unendlichen L-Strukturen ist elementar.
2. Die Klasse aller endlichen L-Strukturen ist nicht elementar.
19. Zeigen Sie, da endliche elementar quivalente Strukturen isomorph sind.
Hinweis: Das ist einfach fr endliches L. Fr unendliches L nehmen wir an, da A und B nicht
isomorph sind. Dann gibt es fr jedes Bijektion F W A ! B ein Zeichen ZF aus L, das mit F
nicht kommutiert. Betrachte nun die endliche Teilsprache L0 D fZF j F W A ! B Bijektiong.
20. Eine Klasse K von L-Strukturen ist endlich axiomatisierbar, wenn sie die Modellklasse einer
endlichen Theorie ist. Zeigen Sie, da K genau dann endlich axiomatisierbar ist, wenn sowohl
K als auch das Komplement von K axiomatisierbar sind.
21. Zeigen Sie, da die Klasse aller Krper der Charakteristik Null axiomatisierbar ist, aber nicht
endlich axiomatisierbar.
22. Sei R der angeordnete Krper der reellen Zahlen, eventuell mit Zusatzstruktur versehen wie
in Aufgabe 7. Zeigen Sie, da es eine zu R elementar quivalente Struktur gibt, die nicht-
archimedisch geordnet ist.
Hinweis: Sei Th.R/ die Menge aller Aussage, die in R gelten, und c eine neue Konstante.
Dann hat jede endliche Teilmenge von Th.R/ [ f1 C    C 1 < c j n 2 Ng ein Modell.

n-mal
23. Zeigen Sie, da sich alle allgemeingltigen Aussagen durch wiederholte Anwendung der Mo-
dus Ponens Regel aus den folgenden allgemeingltigen Aussagen ableiten lassen:
 8xN '.x/,
N  wenn '.x/
N ein Axiom
 des Hilbertkalkls ist. 
 8xN 8y '.x; N y/ ! .x; N y/ ! 8y '.x; N y/ ! 8y .x; N y/
 8xN '.x/ N ! 8y '.x/ N , wenn y nicht unter den xi vorkommt.
Hinweis: Zeigen Sie, da 8x'.N x/
N ableitbar ist, wenn '.x/
N im Hilbertkalkl beweisbar ist. Ein
ausfhrlicher Beweis findet sich in [7].9

9
Ich danke Enrique Casanovas fr den Hinweis.
Der Sequenzenkalkl
5

Der von Gentzen1 aufgestellte Sequenzenkalkl hat gegenber dem Hilbertschen Kalkl
die folgenden Vorteile.

1. Axiome und Regeln entsprechen den Regeln des Formelaufbaus.


2. Die Beweise sind nher am natrlichen Schlieen.
3. Der Beweis des Vollstndigkeitssatzes ist einfach.
4. Die Beweise lassen sich analysieren.

Der Kalkl hat den Nachteil, da man Sequenzen (und nicht Formeln) herleitet.
Sei L eine Sprache und C eine abzhlbare Menge von neuen Konstanten. Eine Sequenz
ist ein Paar

 

von endlichen Mengen von L [ C -Aussagen. Eine Sequenz   gilt in der L [ C -


Struktur A , wenn in A eine der Aussagen aus  falsch ist oder eine der Aussagen aus
 wahr. f1 ; : : : ; m g f1 ; : : : ; n g hat also die Bedeutung

.1 ^ : : : ^ m / ! .1 _ : : : _ n /:

Eine Sequenz ist allgemeingltig, wenn sie in allen L [ C -Strukturen gilt.


Wir beschreiben die Axiome und Regeln des Sequenzenkalkls in der Form

S1 ; : : : ; Sn
S0

1
Gerhard Gentzen (19091945) Gttingen. Beweistheorie

Springer International Publishing Switzerland 2017 35


M. Ziegler, Mathematische Logik, Mathematik Kompakt, DOI 10.1007/978-3-319-44180-1_5
36 5 Der Sequenzenkalkl

mit der Bedeutung: Wenn die Sequenzen S1 ; : : : ; Sn ableitbar sind, dann auch die Se-
quenz S0 . Wir lassen die Regeln fr Gleichheit, Konstanten und Funktionszeichen weg,
um die Darstellung zu vereinfachen.2

Axiome
 [ f'g  [ f'g

  [ f'g
: -links-Regel
 [ f: 'g 

 [ f'g 
: -rechts-Regel
  [ f: 'g

 [ f'i g 
^-links-Regeln fr i D 1; 2
 [ f.'1 ^ '2 /g 

  [ f'1 g;   [ f'2 g
^-rechts-Regel
  [ f.'1 ^ '2 /g

 [ f'.c/g 
9-links-Regel wenn c nicht in ,  und ' vorkommt
 [ f9x '.x/g 

  [ f'.c/g
9-rechts-Regel
  [ f9x '.x/g

Wenn man will, kann man in den Axiomen voraussetzen, da ' eine Primformel ist.

Satz (Vollstndigkeitssatz, [8]) Eine Sequenz (ohne Gleichheit, Konstanten und


Funktionszeichen aus L) ist genau dann allgemeingltig, wenn sie im Sequenzenkal-
kl ableitbar ist.

Beweis Es ist klar, da die Axiome des Kalkls allgemeingltig sind und da die Re-
geln von allgemeingltigen Sequenzen wieder zu allgemeingltige Sequenzen fhren: In
den : -Regeln und der ^-rechts-Regel ist die Konklusion logisch quivalent zu der (Kon-
junktion der) Hypothese(n). In den ^-links-Regeln und in der 9-rechts-Regel folgt die
Konklusion (wegen der 9-Quantorenaxiome, vgl. Kap. 3) aus der Hypothese. Die 9-links-
Regel ist eine Form der 9-Einfhrung.
Bevor wir die Umkehrung beweisen, zeigen wir noch, wie die Allgemeingltigkeit der
Formel ' D 9x8yRxy ! 8y9xRxy im Sequenzenkalkl abgeleitet wird: (Wir lassen

2
n-stellige Funktionen knnte man durch n C 1 stellige Relationen ersetzen (n
0). Fr Gleich-
heitszeichen siehe Lemma 4.6.
5 Der Sequenzenkalkl 37

dabei auf beiden Seiten einer Sequenz Mengenklammern weg.)

Rcd Rcd Axiom


Rcd 9xRxd 9-rechts-Regel
: Rcd; 9xRxd : -rechts-Regel
9y: Rcy; 9xRxd 9-rechts-Regel
: 9xRxd 9y: Rcy : -links-Regel
: 9y: Rcy; : 9xRxd : -links-Regel
: 9y: Rcy; 9y: 9xRxy 9-links-Regel
9x: 9y: Rxy; 9y: 9xRxy 9-links-Regel
9x: 9y: Rxy : 9y: 9xRxy : -rechts-Regel
9x: 9y: Rxy; : : 9y: 9xRxy : -links-Regel
.9x: 9y: Rxy ^ : : 9y: 9xRxy/; 9x: 9y: Rxy ^-links-Regel
.9x: 9y: Rxy ^ : : 9y: 9xRxy/ ^-links-Regel
: .9x: 9y: Rxy ^ : : 9y: 9xRxy/ : -rechts-Regel

Die rechte Seite der letzten Sequenz ist '.


Sei   eine Sequenz, die nicht ableitbar ist. L sei eine endliche (oder abzhl-
bare) Sprache, zu der diese Sequenz gehrt. Wir konstruieren eine Folge i i (i D
0; 1; 2 : : :) von nicht-ableitbaren Sequenzen. Dabei werden die i und die i zwei auf-
steigende Folgen bilden, die bei  D 0 und bei  D 0 beginnen. Wir fixieren eine
Aufzhlung .'i ; ci /, in der jedes Paar .'; c/, bestehend aus einer L [ C -Formel 'i und
einer Konstanten c 2 C , unendlich oft vorkommt. Dann definieren wir die gesuchte Folge
rekursiv. Sei i i schon konstruiert und nicht ableitbar:
1. Fall: 'i D : 2 i . Dann ist wegen der : -links-Regel die Sequenz i C1 D i
i C1 D i [ f g nicht ableitbar.
2. Fall: 'i D : 2 i . Dann ist wegen der : -rechts-Regel die Sequenz i C1 D i [
f g i C1 D i nicht ableitbar.
3. Fall: 'i D . 1 ^ 2 / 2 i . Wir setzen i C1 D i [ f 1 ; 2 g und i C1 D i . Durch
Anwenden der beiden ^-links-Regeln knnte man i i aus i C1 i C1
gewinnen. Also ist i C1 i C1 nicht ableitbar.
4. Fall: 'i D . 1 ^ 2 / 2 i . Wegen der ^-rechts-Regel knnen nicht beide Sequenzen
i i [ f 1 g und i i [ f 2 g ableitbar sein. Wir whlen j so da
i C1 D i i C1 D i [ f j g nicht ableitbar ist.
5. Fall: 'i D 9x .x/ 2 i . Whle ein c, das in i und i nicht vorkommt. Dann ist
wegen der 9-links-Regel die Sequenz i C1 D i [ f .c/g i C1 D i nicht
ableitbar.
6. Fall: 'i D 9x .x/ 2 i . Wir setzen dann i C1 D i und i C1 D i [ f .ci /g. Die
neue Sequenz ist nicht ableitbar wegen der 9-rechts-Regel.
38 5 Der Sequenzenkalkl

Wenn keiner dieser sechs Flle auftritt, setzen wir i C1 D i und i C1 D i . Weil die
i i keine Axiome sind, sind die i und i disjunkt. Daraus folgt, da in jedem
Konstruktionsabschnitt hchstens einer der sechs Flle vorkommt.
S S
Die Mengen  D i 2N i und   D i 2N i haben offensichtlich die folgenden
Eigenschaften:
0.  und   sind disjunkt.
1. Wenn : 2  , ist 2   .
2. Wenn : 2   , ist 2  .
3. Wenn . 1 ^ 2 / 2  , gehren 1 und 2 zu  .
4. Wenn . 1 ^ 2 / 2   , dann gehrt 1 oder 2 zu   .
5. Wenn 9x .x/ 2  , gibt es ein c 2 C mit .c/ 2  .
6. Wenn 9x .x/ 2   , ist .c/ 2   fr alle c 2 C .
Sei nun A D fac j c 2 C g eine Menge, die durch .ac /c2C injektiv aufgezhlt ist (man
kann z. B. ac D c nehmen). Wir machen A zu einer L-Struktur A, indem wir die Re-
lationszeichen R 2 L durch RA .ac1 ; : : : ; acn / , R.c1 ; : : : ; cn / 2  interpretieren.
A D .A; ac /c2C ist eine L [ C -Struktur, in der   nicht gilt. Um das einzuse-
hen, zeigen wir durch Induktion ber den Aufbau von ', da ' 2  ) A  ' und
' 2   ) A ':
0. Fall: ' D R.c1 ; : : : ; cn /.
Wenn R.c1 ; : : : ; cn / 2  , ist A  R.c1 ; : : : ; cn / nach Konstruktion. Wenn
R.c1 ; : : : ; cn / 2   , ist nach Eigenschaft 0 R.c1 ; : : : ; cn /  , also A
R.c1 ; : : : ; cn /.
1. Fall: ' D : 2  .
Dann ist nach Eigenschaft 1 2   . Nach Induktionsvoraussetzung ist A .
Also A  '.
2. Fall: ' D : 2   .
Dann ist nach Eigenschaft 2 2  . Die Induktionsvoraussetzung liefert A 
. Also A '.
3. Fall: Wenn ' D . 1 ^ 2 / 2  ,
sind wegen 3 1 und 2 in  . Nach Induktionsvoraussetzung gelten 1 und 2
in A , also gilt auch '.
4. Fall: Aus ' D . 1 ^ 2 / 2  
folgt aus 4, da zum Beispiel 1 2   . Die Induktionsvoraussetzung liefert
A 1 , also A '.
5. Fall: Wenn 9x .x/ 2  ,
gibt es wegen 5 ein c 2 C mit .c/ 2  . Dann ist A  .c/ nach Induktions-
voraussetzung, also A  '.
6. Fall: ' D 9x .x/ 2   .
Eigenschaft 6 sagt, da alle '.c/ fr c 2 C zu   gehren. Also gilt nach In-

duktionsvoraussetzung keines der '.c/ in A . Weil A D fc A j c 2 C g ist
A '. 
5 Der Sequenzenkalkl 39

Als ein Anwendungsbeispiel beweisen wir den Interpolationssatz, allerdings nur fr


Aussagen 'i ohne Gleichheit, Konstanten und Funktionszeichen. Man kann sich aber
leicht berzeugen, da der Satz in seiner Allgemeinheit leicht aus diesem Spezialfall folgt.

Satz (Interpolationssatz (Craig3 )) Sei '1 eine L1 -Aussage und '2 eine L2 -Aussage.
Wenn

'1 ! '2

allgemeingltig ist, gibt es eine interpolierende L1 \ L2 -Aussage , fr die

'1 ! und ! '2

allgemeingltig sind.

Beweis Wenn '1 ! '2 allgemeingltig ist, ist die Sequenz '1 '2 ableitbar. Wir zeigen
die Existenz von durch Induktion ber die Lnge des Beweises. Weil aber in einem Be-
weis von '1 '2 Sequenzen vorkommen werden, in denen L1 -Aussagen auch rechts und
L2 -Aussagen auch links stehen knnen, beweisen wir durch Induktion ber die Beweis-
lnge:
Wenn i und i endliche Mengen von Li [ C -Aussagen sind und

1 [ 2 1 [ 2

ableitbar ist, gibt es eine .L1 \L2 /[C -Aussage , fr die 1 1 [fg und fg[2
2 allgemeingltig sind.
Daraus folgt dann die Behauptung. Denn wenn '1 .c1 ; : : : ; cn / und .c1 ; : : : ; cn /
'2 allgemeingltig sind, leistet D 9x1 ; : : : ; xn .x1 ; : : : xn / das Verlangte.
Sei nun S D 1 [ 2 1 [ 2 ableitbar. Dann ist S ein Axiom oder folgt nach einer
der sechs Regeln aus Sequenzen mit krzeren Ableitungen. Jeder dieser Flle zerfllt in
zwei Unterflle, je nachdem, ob die Formel im Axiom zu 1 oder 2 , oder ob die in der
Regel betrachtete Formel zu 1 [ 1 oder 2 [ 2 gehrt. Wir brauchen aber immer
nur den ersten dieser Flle zu betrachten. Die Induktionsbehauptung impliziert nmlich
die Allgemeingltigkeit von 2 2 [ f: g und f: g [ 1 1 und ist daher
symmetrisch in L1 und L2 .
0. Fall: S ist ein Axiom, weil es ein ' 2 1 mit ' 2 1 [ 2 gibt. Wenn ' 2 1 ist,
:
knnen wir D : c D c setzen4 , und D ', wenn ' 2 2 .

3
William Craig (19182016) Berkeley. Philosophie, Mathematische Logik
:
4
Statt : c D c knnen wir irgendeine .L1 \ L2 / [ C -Aussage nehmen, deren Negation allgemein-
gltig ist.
40 5 Der Sequenzenkalkl

1. Fall: Es ist 1 D 01 [ f: 'g, und S folgt mit der : -links-Regel aus 01 [ 2
.1 [ f'g/ [ 2 . Nach Induktionsvoraussetzung gibt es eine .L1 \ L2 / [ C -
Formel 0 , fr die 01 .1 [ f'g/ [ f 0 g und f 0 g [ 2 2 allgemeingltig
sind. Wir setzen D 0 .
2. Fall: Es ist 1 D 10 [f: 'g, und S folgt mit der : -rechts-Regel aus .1 [f'g/[2
10 [2 . Wir whlen wieder 0 , soda 1 [f'g .10 /[f 0 g und f 0 g[2 2
allgemeingltig sind, und setzen D 0 .
3. Fall: Es ist 1 D 01 [ f'1 ^ '2 g, und fr ein i D 1; 2 folgt S mit der ^-rechts-Regel
aus .01 [f'i g/[2 1 [2 . Wenn .01 [f'i g/ 1 [f 0 g und f 0 g[2 2
allgemeingltig sind, knnen wir D 0 nehmen.
4. Fall: Es ist 1 D 10 [ f'1 ^ '2 g, und S folgt aus den beiden Sequenzen 1 [ 2
.10 [ f'i g/ [ 2 (i D 1; 2) mit der ^-rechts-Regel. Wenn dann fr i D 1; 2
1 .10 [ f'i g/ [ fi g und fi g [ 2 2 allgemeingltig sind, setzen wir
D 1 _ 2 .
5. Fall: Es ist 1 D 01 [ f9x '.x/g, und S folgt aus .01 [ f'.c/g/ [ 2 1 [ 2
mit der 9-links-Regel. c kommt also in S nicht vor. Wenn nun fr ein .x/, das c
nicht enthlt, die Sequenzen .01 [f'.c/g/ 1 [f 0 .c/g und f 0 .c/g[2 2
allgemeingltig sind, setzen wir D 9x 0 .x/.
6. Fall: Es ist 1 D 10 [ f9x '.x/g, und S folgt mit der 9-rechts-Regel aus 1 [ 2
.10 [ f'.c/g/ [ 2 . Wenn 1 .10 [ f'.c/g/ [ f 0 g und f 0 g [ 2 2
allgemeingltig sind, setzen wir D 0 . 

bungsaufgaben

24. Beweisen Sie den Interpolationssatz fr Aussagen mit Gleichheit und Funktionszeichen.
Hinweis: Ersetzen Sie n-stellige Funktionszeichen durch n C 1-stellige Relationen (fr den
Graphen der Funktion) und verwende Lemma 4.6.
25. Die Schnittregel

  [ f'g;  [ f'g 
 

ist gltig, weil die Konklusion allgemeingltig ist, wenn beide Prmissen allgemeingltig sind.
Zeigen Sie die Gltigkeit der Schnittregel ohne Benutzung des Vollstndigkeitssatzes durch
Induktion ber die Lnge der Beweise der beiden Prmissen.
26. Es seien L1 und L2 zwei Sprachen und L D L1 \ L2 . Weiter seien T1 und T2 zwei konsis-
tente L1 bzw. L2 -Theorien, die die gleichen L-Aussagen beweisen. Zeigen Sie, da T1 [ T2
konsistent ist.
27. Sei L eine Sprache, T .P / eine L-Theorie, deren Axiome zustzlich ein neues einstelliges
Prdikat P enthalten. T .P / definiert P implizit, wenn

T .P / [ T .P 0 / ` 8x .P .x/ $ P 0 .x//:
bungsaufgaben 41

Zeigen Sie den Satz von Beth5 : Wenn T .P / das Prdikat implizit definiert, dann auch explizit.
Das heit, fr eine L-Formel .x/ gilt

T .P / ` 8x .P .x/ $ .x//:

Hinweis: Ersetzen Sie x durch eine neue Konstante und verwende den Interpolationssatz.

5
Evert Willem Beth (19081964) Amsterdam. Mathematische Logik
Der Herbrandsche Satz
6

Definition
Eine universelle Formel hat die Form

8x1 : : : 8xn ;

wobei eine quantorenfreie Formel ist. Existentielle Formeln haben die Form
9x1 : : : 9xn .

Zwei Formeln ' und heien quivalent, wenn sie in allen Strukturen auf die gleichen
Elemente zutreffen, oder anders gesagt, wenn ' $ allgemeingltig ist. Man sieht nun,
da die Negation einer universellen Formel 8x1 : : : 8xn quivalent zur existentiellen
Formel 9x1 : : : 9xn : ist. Die Negation einer existentiellen Formel ist quivalent zu einer
universellen Formel.

Satz (Skolem-Normalform) Zu jeder L-Aussage ' kann man eine Spracherweite-


rung L und einen universellen L -Satz '  angeben, derart, da ' in einer L-Struktur
A genau dann gilt, wenn sich A zu einem Modell von '  expandieren lt. ' ist also
genau dann erfllbar, wenn '  erfllbar ist.

Beweis Eine Formel ist in prnexer Normalform, wenn alle Quantoren am Anfang der
Formel stehen, wenn also die Formel die Gestalt

Q1 x 1 Q2 x 2 : : : Qn x n

hat, mit quantorenfreiem und Qi 2 f9; 8g.


Man sieht leicht, da sich in jeder Formel die Quantoren so nach vorne ziehen lassen,
da eine quivalente Formel in prnexer Normalform entsteht. Man verwendet dabei die
Springer International Publishing Switzerland 2017 43
M. Ziegler, Mathematische Logik, Mathematik Kompakt, DOI 10.1007/978-3-319-44180-1_6
44 6 Der Herbrandsche Satz

Umformungen
: 9 8:
: 8 9:
 
y
.' ^ 9x / 9y ' ^
x
 
y
.' ^ 8x / 8y ' ^
x
Die Variable y soll dabei in ' und nicht vorkommen.
Wir knnen also annehmen, da ' prnex ist. Dann konstruieren wir '  durch Rekur-
sion ber die Zahl der Quantorenwechsel von '. Sei

' D 8x1 : : : 8xm 9y1 : : : 9yn .x1 ; : : : ; yn /;

wobei  (hchstens) mit einem 8-Quantor beginnt. Wir fhren jetzt neue m-stellige Funk-
tionszeichen f1 ; : : : ; fn ein und sehen, da ' genau in den Strukturen gilt, die sich zu
einem Modell von
 
' 0 D 8x1 : : : 8xm  x1 ; : : : ; xm ; f1 .x1 ; : : : ; xm /; : : : ; fn .x1 ; : : : ; xm /

expandieren lassen. Wenn m D 0, fhren wir neue Konstanten ein. Wenn  nicht quanto-
renfrei ist, hat ' 0 zwei Quantorenwechsel weniger als '. Wir verfahren dann mit ' 0 ebenso
und erhalten schlielich die Skolem-Normalform. 

Man nennt die neu eingefhrten Funktionszeichen in L Skolemfunktionen.

Beispiel
Sei
 
' D 8x 9y R.x; y/ ^ 8z 9w S.x; z; w/ :

Die prnexe Normalform ist (z. B.)


 
8x 9y 8z 9w R.x; y/ ^ S.x; z; w/ :

Der erste Umformungsschritt liefert


 
8x; z 9w R.x; f .x// ^ S.x; z; w/

und der zweite


 
'  D 8x; z R.x; f .x// ^ S.x; z; g.x; z// :

Folgerung (Herbrand1 -Normalform) Zu jeder L-Aussage ' kann man eine Spra-
cherweiterung L und einen existentiellen L -Satz ' angeben, der genau dann
allgemeingltig ist, wenn ' allgemeingltig ist.
6 Der Herbrandsche Satz 45

Wichtig ist, da man ' explizit angeben kann. Die reine Existenz ist trivial. Man
: :
nimmt fr ' entweder 9x x D x oder 9x : x D x, je nachdem ob ' erfllbar ist oder
nicht.

Beweis ' ist genau dann allgemeingltig, wenn : ' nicht erfllbar ist. Man setzt also
' D : .: '/ . Genauer gesagt, nehmen wir fr ' eine existentielle quivalente Umfor-
mung von : .: '/ . 

I Bemerkung Wir finden immer ein ' ohne Gleichheitszeichen.

Beweis Wegen Lemma 4.6 knnen wir annehmen, da ' kein Gleichheitszeichen enthlt.
Im eben konstruierten '  gibt es dann ebenfalls kein Gleichheitszeichen. 

Fr die Allgemeingltigkeit existentieller Aussagen gibt es ein einfaches Kriterium.

Satz (Herbrand, [14]) Sei

' D 9x1 : : : 9xn .x1 ; : : : ; xn /

eine existentielle Aussage fr eine Sprache L, die mindestens eine Konstante enthlt.
Dann ist ' genau dann allgemeingltig, wenn es konstante Terme

t11 ; t21 ; : : : tn1 : : : t1N ; t2N ; : : : tnN

gibt, fr die die quantorenfreie Aussage

_
N
.t i / D .t11 ; t21 ; : : : tn1 / _    _ .t1N ; t2N ; : : : tnN /
i D1

allgemeingltig ist.

W WN
Beweis Weil ' aus N i
i D1 .t / folgt, ist ' allgemeingltig, wenn i D1 .t i / allgemein-
gltig ist.
Nehmen wir umgekehrt an, an, da

^
N
: .t i / D : .t11 ; t21 ; : : : tn1 / ^    ^ : .t1N ; t2N ; : : : tnN /
i D1

1
Jacques Herbrand (19081931) Paris. Klassenkrpertheorie, Beweistheorie
46 6 Der Herbrandsche Satz

fr jede beliebige Wahl der tji erfllbar ist. Dann ist die Theorie

T D : .t1 ; : : : ; tn / t1 ; : : : ; tn konstante Terme

endlich erfllbar. T hat nach dem Kompaktheitssatz ein Modell A. Sei A0 D t A j
t konstanter Term die Menge der Elemente von A, die von konstanten Termen darge-
stellt werden. A0 ist nicht-leer und unter den auf A definierten Operationen abgeschlossen.
Wenn wir die Interpretation von L in A auf A0 einschrnken, erhalten wir also eine Unter-
struktur (vgl. Aufgaben 1 und 28) A0 , in der 8x1 ; : : : ; xn : .x1 : : : xn / gilt und ' daher
falsch ist. 

Beispiel
Wir betrachten die Aussage ' D 9w8x R.w; x/ ! 8z9y R.y; z/. Eine prnexe Normalform
ist 8w9x8z9y .: R.w; x/ _ R.y; z// und die Herbrand-Normalform ' D 9x9y .: R.c; x/ _
R.y; f .x//. Wenn wir x; y zum einen durch c; c und zum anderen durch f .c/; c ersetzen, erhalten
wir die allgemeingltige Disjunktion
   
: R.c; c/ _ R.c; f .c/ _ : R.c; f .c// _ R.c; f .f .c// :

Also ist ' und daher auch ' allgemeingltig.

Wenn in das Gleichheitszeichen nicht vorkommt, ist die Allgemeingltigkeit von


WN i
i D1 .t / ein reines Problem der Aussagenlogik. Eine quantorenfreie Aussage ' ohne
Gleichheitszeichen ist genau dann allgemeingltig, wenn sie eine aussagenlogische Tauto-
logie ist. Anders ausgedrckt: Man ersetzt jede in ' enthaltene Primformel R.s1 ; : : : ; sm /
durch eine Aussagenvariable pR.s1 ;:::;sm / . Die resultierende aussagenlogische Formel ist
genau dann allgemeingltig, wenn ' allgemeingltig ist. Wir werden im nchsten Ka-
pitel eine geeignete Methode angeben, die Allgemeingltigkeit von aussagenlogischen
Formeln der hier vorkommenden Art zu berprfen.
Wenn man den Satz von Herbrand verwenden will, um die Allgemeingltigkeit einer
W
Aussage ' D 9x1 : : : 9xn .x1 ; : : : ; xn / zu zeigen, sucht man Terme tji , fr die N i
i D1 .t /
(aussagenlogisch) allgemeingltig wird. Die Terme whlt man so, da gengend viele
Formelpaare

R.s11 .x1 ; : : : ; xn /; : : : ; sk1 .x1 ; : : : ; xn //

und

R.s12 .x1 ; : : : ; xn /; : : : ; sk2 .x1 ; : : : ; xn //;

in gleich werden, wenn man die xj durch die tj1 bzw. tj2 ersetzt.
Man verwendet dazu die Unifikationsmethode. Seien
 
S 1 .x1 ; : : : ; xn / D s11 .x1 ; : : : ; xn /; : : : ; sk1 .x1 ; : : : ; xn /
6 Der Herbrandsche Satz 47

und
 
S 2 .x1 ; : : : ; xn / D s12 .x1 ; : : : ; xn /; : : : ; sk2 .x1 ; : : : ; xn /

zwei gleichlange Folgen von Termen. Eine Termfolge T D .t1 ; : : : ; tn / unifiziert S 1


und S 2 , wenn

S 1 .t1 ; : : : ; tn / D S 2 .t1 ; : : : ; tn /:

Satz (Unifikation) Wenn S 1 und S 2 unifizierbar sind, gibt es eine universelle unifizie-
rende Termfolge U.y1 ; : : : ; ym /. Das heit, da eine Termfolge T genau dann S 1 und
S 2 unifiziert, wenn es Terme t1 ; : : : ; tm gibt, soda

T D U.t1 ; : : : ; tm /:

Man kann U durch ein einfaches Verfahren finden, das gleichzeitig entscheidet, ob S 1
und S 2 unifizierbar sind.

Beweis Wir fassen das Paar S 1 ; S 2 als eine Menge

: :
S.x1 ; : : : ; xn / D fs11 D s12 ; : : : ; sk1 D sk2 g

von Gleichungen auf. T unifiziert S, wenn alle Gleichungen aus S.T / allgemeingltig
sind. Unser Unifikationsverfahren formt S in quivalente Gleichungssysteme um. Dabei
wenden wir, solange es geht, die folgenden Schritte A und B an.

:
Schritt A Wenn S eine Gleichung f 1 .t11 ; : : : ; tl11 / D f 2 .t12 ; : : : ; tl22 / enthlt, gibt es zwei
Mglichkeiten:

 Wenn f 1 f 2 , ist S nicht unifizierbar, und das Verfahren bricht ab.


 Wenn f 1 D f 2 (und daher l 1 D l 2 D l), ersetzen wir die Gleichung durch die
: :
Gleichungen t11 D t12 , . . . , tl1 D tl2 .

:
Schritt B Wenn S eine Gleichung xi D s enthlt, gibt es drei Mglichkeiten:

 s D xi . Dann streichen wir die Gleichung einfach.


 s ist ein zusammengesetzter Term, in dem xi vorkommt. Dann ist S nicht unifizierbar,
und das Verfahren bricht ab.
 xi kommt in s nicht vor. Dann ersetzen wir in allen anderen Gleichungen die Variable
xi durch s.
48 6 Der Herbrandsche Satz

Wenn das Verfahren nicht mit dem Ergebnis, da eine Unifikation unmglich sei, abbricht,
hat das Gleichungssystem nach Umnumerierung der Variablen die Form
: :
xm D um .x1 ; : : : ; xm1 /; : : : ; xn D un .x1 ; : : : ; xm1 /

fr ein 1 m n C 1. Die gesuchte universelle unifizierende Termfolge ist dann

x1 ; : : : ; xm1 ; um ; : : : ; un : 

Beispiel
Wir wollen die beiden Terme

k.x1 ; x1 ; x4 / und k.f .c; g.x2 ; x3 //; f .c; g.x3; x2 //; k.x3 ; x2 ; x1 //

unifizieren. Wir beginnen also mit der Gleichung


:
k.x1 ; x1 ; x4 / D k.f .c; g.x2 ; x3 /; f .c; g.x3; x2 //; k.x3 ; x2 ; x1 //:

Schritt A:
:
x1 D f .c; g.x2 ; x3 //
:
x1 D f .c; g.x3 ; x2 //
:
x4 D k.x3 ; x2 ; x1 /

Schritt B (ersetze x1 durch f .c; g.x2 ; x3 //):


:
x1 D f .c; g.x2 ; x3 //
:
f .c; g.x2 ; x3 // D f .c; g.x3 ; x2 //
:
x4 D k.x3 ; x2 ; f .c; g.x2 ; x3 ///

Schritt A:
:
x1 D f .c; g.x2 ; x3 //
:
x2 D x3
:
x3 D x2
:
x4 D k.x3 ; x2 ; f .c; g.x2; x3 ///

Schritt B (ersetze x2 durch x3 ):


:
x1 D f .c; g.x3 ; x3 //
:
x2 D x3
:
x4 D k.x3 ; x3 ; f .c; g.x3; x3 ///

Es ergibt sich die universelle Lsung

f .c; g.x3 ; x3 //; x3 ; x3 ; k.x3 ; x3 ; f .c; g.x3; x3 ///:


bungsaufgaben 49

Folgerung Sei .x1 ; : : : ; xn / eine quantorenfreie L-Formel ohne Gleichheitszeichen


und N eine natrliche Zahl2 . Man kann effektiv entscheiden, ob es konstante Terme

t11 ; t21 ; : : : tn1 : : : t1N ; t2N ; : : : tnN

gibt, fr die

_
N
.t i / D .t11 ; t21 ; : : : tn1 / _ : : : _ .t1N ; t2N ; : : : tnN /
i D1

allgemeingltig ist. 

bungsaufgaben

28. Sei B eine Unterstruktur von A. Dann gilt fr alle universellen '.x1 ; : : : ; xn / und alle
b1 ; : : : ; bn 2 B

A  'b1 ; : : : ; bn  ) B  'b1 ; : : : ; bn :

29. Sei ' eine L-Aussage, '  eine Skolemnormalform und ' eine Herbrandnormalform von '.
Wir knnen annehmen, da L \ L D L. Zeigen Sie, da  '  ! ' . Gebe einen Inter-
polanten an.
30. Wenn die aussagenlogischen Formeln f .p1 ; : : : ; pn / und g.p1 ; : : : ; pn / quivalent sind (vgl.
Aufgabe 10), dann auch f .'1 ; : : : ; 'n / und g.'1 ; : : : ; 'n / fr beliebige L-Formeln '1 ; : : : ; 'n .

2
Der Fall N D 1 impliziert sofort die Folgerung fr beliebiges N . Wir haben diese Formulierung
gewhlt wegen des Zusammenhangs mit dem Satz von Herbrand.
Die Resolutionsmethode
7

Die Allgemeingltigkeit einer aussagenlogischen Formel f lt sich feststellen, indem


man berprft, da alle Belegungen der Variablen von f den Wahrheitswert W erge-
ben. Weil es 2Zahl der Variablen viele Belegungen gibt, ist dieses Verfahren fr groe Formeln
nicht praktikabel. Ob es berhaupt ein Verfahren zur berprfung der Allgemeingltig-
keit aussagenlogischer Formeln gibt, dessen Schrittzahl durch ein Polynom in der Zahl
der Variablen beschrnkt ist, ist quivalent zum P D NP -Problem der Informatik, das
bis heute ungelst ist. Siehe dazu [5].
Fr groe Disjunktionen kleiner Formeln, wie sie im Satz von Herbrand auftreten, hat
die Resolutionsmethode eine gute Chance, einen kurzen Beweis der Allgemeingltigkeit
zu finden. Man kann eine groe Disjunktion kleiner Formeln leicht in disjunktive Normal-
form bringen,

_
N
ci ; (7.1)
i D1

(siehe Aufgabe 11), indem man alle Disjunktionglieder in disjunktive Normalform bringt.
Die ci sind Konjunktionen von (negierten) Variablen, sogenannten Literalen. Endliche
Mengen von Literalen nennen wir Klauseln. Sei Ci die Klausel der Literale, aus denen ci
besteht, und C die Menge der Ci , dann lt sich (7.1) schreiben als
_ ^
L: (7.2)
C 2C L2C

Wenn eine Belegung  der Formel (7.2) den Wahrheitswert W gibt, sagen wir, da 
die Menge C erfllt. Eine Menge von Klauseln heit allgemeingltig, wenn sei von allen
Belegungen erfllt wird. Wir lassen auch die leere Klauselmenge zu, die nicht erfllbar
ist, und die leere Klausel, die immer den Wahrheitswert W hat.

Springer International Publishing Switzerland 2017 51


M. Ziegler, Mathematische Logik, Mathematik Kompakt, DOI 10.1007/978-3-319-44180-1_7
52 7 Die Resolutionsmethode

Definition
Sei p eine Variable, C D fpg [ P und D D f: pg [ Q zwei Klauseln. Dann ist P [ Q
eine Resultante von C und D.

Satz (Die Resolutionsmethode, [22]) Eine endliche Menge C von Klauseln ist genau
dann allgemeingltig, wenn sich aus C durch sukzessives Bilden von Resultanten die
leere Klausel ergibt.

Die eine Richtung des Satzes ist klar: Wenn C 0 aus C durch Hinzufgen von Resul-
tanten entsteht, werden C 0 und C von den gleichen Belegungen erfllt. Wenn C 0 die leere
Klausel enthlt, ist C 0 allgemeingltig und darum auch C.
Der Beweis der Umkehrung beruht auf folgender Beobachtung: Sei mit Cjp D W
die Menge der Klauseln bezeichnet, die man aus C erhlt, wenn man p D W setzt. Das
heit, da man alle Klauseln, in denen : p vorkommt, weglt und in den verbleibenden
Klauseln alle Vorkommen von p streicht. Entsprechend sei Cjp D F definiert. Dann gilt
das folgende Lemma.

Lemma 1. Sei  eine Belegung der Variablen von C und .p/ D W. Dann erfllt
 die Klauselmenge C genau dann, wenn sie die Menge Cjp D W erfllt.
2. Aus C ergibt sich durch sukzessives Bilden von Resultanten genau dann die leere
Klausel, wenn das gleiche fr Cjp D W und fr Cjp D F gilt.

Beweis Die erste Behauptung ist klar. Zum Beweis der zweiten Behauptung nehmen wir
zuerst an, da man aus Cjp D W durch Bilden von Resultanten die leere Klausel erhlt.
Weil alle Formeln aus Cjp D W auch in C eventuell mit einem zustzlichen p
vorkommen, erhlt man aus C durch Bilden von Resultanten die leere Klausel oder die
Klausel fpg. Wenn auerdem Cjp D F die leere Klausel ergibt, wissen wir, da sich aus
C die leere Klausel oder f: pg ergibt. Weil die leere Klausel aber Resultante von fpg und
f: pg ist, haben wir eine Richtung der Behauptung bewiesen. Die Umkehrung brauchen
wir nicht und berlassen sie dem Leser. 

Beweis der Umkehrung des Satzes Wir verwenden Induktion ber die Anzahl der vorkom-
menden Variablen. Sei C allgemeingltig und p eine Variable von C. Weil p in Cjp D W
und Cjp D F nicht mehr vorkommt, folgt aus Teil 1 des Lemmas, da Cjp D W
und Cjp D F beide allgemeingltig sind. Nach Induktionsannahme ergibt sich also aus
Cjp D W und Cjp D F jeweils die leere Klausel, also auch nach Teil 2 des Lemmas
aus C. 
bungsaufgaben 53

bungsaufgaben

31. Wie kann man von einer aussagenlogischen Formel in konjunktiver Normalform schnell ent-
scheiden, ob sie allgemeingltig ist?
32. Vervollstndigen Sie den Beweis von Teil 2 des Lemmas.
Hinweis: Verwenden Sie den Resolutionssatz.
Teil II
Mengenlehre

Alle Gegenstnde der Mathematik sind Mengen oder auch Klassen von Mengen: Ein me-
trischer Raum zum Beispiel besteht aus einer Menge X und einer Funktion d W X X ! R.
Dabei ist X X die Menge aller Paare .x; y/ von Elementen x; y 2 X. Ein Paar ist eine
Menge, nmlich das Kuratowski-Paar

.x; y/ D ffxg; fx; ygg:

Eine Funktion d ist die Menge aller Argument/Wert-Paare .y; d.y//.


Eine reelle Zahl 2 R ist eine quivalenzklasse von Cauchyfolgen rationaler Zahlen.
Eine Folge ist eine Abbildung, die auf der Menge der natrlichen Zahlen definiert ist. Eine
rationale Zahl r kann aufgefat werden als die Menge aller Tripel .m; n; s/ D .m; .n; s//
von natrlichen Zahlen mit r D mn s .
Inwiefern sind nun natrliche Zahlen Mengen? Die Zahl n sollte eine mglichst einfa-
che Menge mit genau n Elementen sein. Also bietet sich die folgende rekursive Definition
an:

n D f0; 1; : : : ; n  1g:

Das ist jeweils eine Definition fr jede Zahl. Eine Definition fr die Klasse aller natrli-
chen Zahlen geben wir in Kap. 9.
Das alles wird in der Zermelo-Frnkelschen Mengenlehre (ZFC) geschehen, der heute
allgemein verwendeten Axiomatisierung der Mengenlehre. Fr ein weiterfhrendes Lehr-
buch verweise ich auf [16].
Die Axiome
8

Die Sprache der Mengenlehre ist LMe D fg. Man liest x  y als x ist Element von y.

Naive Mengenlehre
Versucht man Cantors1 Definition
Unter einer Menge verstehen wir jede Zusammenfassung M von bestimmten wohlunter-
schiedenen Objekten m unserer Anschauung oder unseres Denkens (welche Elemente von
M genannt werden) zu einem Ganzen. [2]

zu formalisieren, ergeben sich die Axiome der Naiven Mengenlehre. Das Extensionalitts-
axiom: Zwei Mengen sind gleich, wenn sie die gleichen Elemente haben, und das Schema
der vollen Komprehension: Jede definierbare Klasse von Mengen ist die Klasse der Ele-
mente einer Menge. In Formeln:

Axiom (Extensionalitt)
 : 
8x; y 8z .z  x $ z  y/ ! x D y

Axiom (Volle Komprehension)


Fr alle Formeln '.x; y1 ; : : : ; yn /
8y1 ; : : : ; yn 9x8z .z  x $ '.z; y1 ; : : : ; yn //

Die Axiome der vollen Komprehension sagen, da fr jede Formel '.z; y1 ; : : : ; yn /


und fixierte Parameter y1 ; : : : ; yn die Klasse

z j '.z; y1 ; : : : ; yn /
eine Menge ist.

1
Georg Cantor (18451918) Halle. Zahlentheorie, Analysis, Mengenlehre

Springer International Publishing Switzerland 2017 57


M. Ziegler, Mathematische Logik, Mathematik Kompakt, DOI 10.1007/978-3-319-44180-1_8
58 8 Die Axiome

Das System aller Mengen scheint tatschlich diese Axiome zu erfllen. Es gilt aber
die Russellsche Antinomie:

Satz (Russell2 ) Die Naive Mengenlehre ist inkonsistent.

Beweis Betrachte die Formel '.x/ D : x  x. Das Komprehensionsschema liefert dann


das Axiom

9x8z .z  x $ : z  z/:

Wenn aber x eine Menge mit 8z .z  x $ : z  z/ ist, also

x D fz j : z  zg;

liefert die Einsetzung von x fr z den Widerspruch x  x $ : x  x: 

Zermelo-Frnkel Mengenlehre
Es sind verschiedene Axiomensysteme fr die Mengenlehre vorgeschlagen worden, die
dieses Problem vermeiden (z. B. von Quine3 : New Foundation). Durchgesetzt hat sich

ZFC;

die nach ihren Erfindern Zermelo4 und Frnkel5 und nach choice, dem Auswahlaxiom
benannt ist.
Hier ist die Liste der Axiome, die wir im folgenden diskutieren:

 Extensionalitt
 Aussonderung
 Paarmenge
 Vereinigung
 Potenzmenge
 Ersetzung
 Fundierung
 Unendlichkeit
 Auswahl
2
Bertrand Russell (18721970) Grobritannien, USA. Mathematische Logik, Philosophie, Nobel-
preis fr Literatur 1950
3
William Van Orman Quine (19082000) Harvard. Philosophie, Mengenlehre. Quines Paradoxon:
"Yields falsehood when preceded by its quotation" yields falsehood when preceded by its quotation.
4
Ernst Zermelo (18711953) Freiburg. Mengenlehre
5
Abraham Frnkel (18911965) Jerusalem. Mengenlehre
8 Die Axiome 59

ZFC enthlt natrlich das Extensionalittsaxiom:

Axiom (Extensionalitt)

 : 
8x; y 8z .z  x $ z  y/ ! x D y

Wir fhren x  y als Abkrzung fr die Formel 8z .z  x ! z  y/ ein, gelesen


als x ist Teilmenge von y. Das Extensionalittsaxiom ist dann gleichbedeutend mit
:
8x; y .x  y ^ y  x/ ! x D y:

Dann folgen fnf Spezialflle der vollen Komprehension.

Axiom (Aussonderung)

 
8y0 ; : : : ; yn 9x8z z  x $ .z  y0 ^ '.z; y1 ; : : : ; yn //

Das Aussonderungsaxiom erlaubt es zum Beispiel den Durchschnitt

x \ y D fz  x j z  yg

und die Differenz

x n y D fz  x j : z  yg

von zwei Mengen zu bilden. Es ergibt sich auch die Existenz der leeren Menge.
:
; D fz j : z D zg
:
Fr eine beliebige Menge6 x ist nmlich ; D fz  x j : z D zg.
Die Russellsche Antinomie wird jetzt ein Theorem von ZFC:

I Bemerkung In ZFC ist beweisbar, da die Klasse V aller Mengen keine Menge ist.
Formal:

ZFC ` : 9x8z z  x

Beweis Sonst wre nach dem Aussonderungsaxiom die Russellsche Klasse

fz j : z  zg D fz 2 V j : z  zg

ebenfalls eine Menge, was sofort zu einem Widerspruch fhrt. 

6
Da es berhaupt eine Menge gibt, ist eine logische Grundannahme: Das Universum einer Struktur
ist niemals leer.
60 8 Die Axiome

Axiom (Paarmenge)

: :
8y1 ; y2 9x8z z  x $ .z D y1 _ z D y2 /

Das Paarmengenaxiom drckt aus, da


: :
fx; yg D fz j z D x _ z D yg

eine Menge ist, die aus x und y gebildete Paarmenge.

Definition
Das geordnete Paar von zwei Mengen x und y ist die Menge

.x; y/ D ffxg; fx; ygg:

.x; y/ heit Kuratowski7 -Paar.

Lemma In ZFC ist beweisbar

: : :
8x; y; x 0 ; y 0 .x; y/ D .x 0 ; y 0 / ! x D x 0 ^ y D y 0 : 

Das Vereinigungsmengenaxiom ist

Axiom (Vereinigung)

8y9x8z z  x $ 9w .z  w ^ w  y/:

Gefordert wird die Existenz von


[ 
y D z j 9w .z  w ^ w  y/ ;

der Vereinigung der Elemente von y. Aus dem Paarmengenaxiom und dem Vereinigungs-
mengenaxiom folgt die Existenz der Vereinigung von zwei Mengen:
[
x[y D fx; yg:

Man definiert rekursiv ber n

fy1 ; y2 ; : : : ; ynC1 g D fy1 ; : : : ; yn g [ fynC1 g:

7
Kazimierz Kuratowski (18961980) Warschau. Topologie, Mengenlehre
8 Die Axiome 61

Das Potenzmengenaxiom

Axiom (Potenzmenge)

8y9x8z z  x $ z  y

postuliert die Existenz der Potenzmenge von y

P.y/ D fz j z  yg:

Lemma Aus den Axiomen von ZFC folgt fr alle a und b die Existenz des direkten
Produktes

a b D .x; y/ j x 2 a ^ y 2 b :

Beweis Wenn x 2 a und y 2 b, sind fxg und fx; yg Elemente von P.a [ b/. Dann
ist .x; y/ D ffxg; fx; ygg ein Element von P.P.a [ b//. Es folgt, da .x; y/ j x 2

a ^ y 2 b eine definierbare Teilklasse von P.P.a [ b// ist. Also eine Menge nach dem
Aussonderungsaxiom. 

Wir definieren Tripel durch

.x; y; z/ D ..x; y/; z/

und a b c D f.x; y; z/ j x 2 a; y 2 b; z 2 cg. Entsprechend Viertupel usw.


Eine Relation ist nun eine Menge von Paaren. Der Definitionsbereich von R ist

dom.R/ D fx j 9y .x; y/ 2 Rg;

der Bildbereich

Im.R/ D fy j 9x .x; y/ 2 Rg:


SS
Definitions- und Bildbereich sind Mengen, weil sie Teilklassen von R sind:
[ [[
ffxg; fx; ygg 2 R ) fx; yg 2 R ) x; y 2 R:

Eine Funktion f ist eine rechtseindeutige Relation:

8x; y1 ; y2 .x; y1 / 2 f ^ .x; y2 / 2 f ! y1 D y2 :


62 8 Die Axiome

Wir identifizieren also eine Funktion mit ihrem Graphen. Man schreibt dann

f .x/ D y

fr .x; y/ 2 f . Wenn x dom.f /, setzen wir f .x/ D ;. Die Schreibweise

f Wa ! b

bedeutet dom.f / D a und Im.f /  b. Wenn wir b nicht spezifizieren wollen, schreiben
wir f W a ! V.

f  c D f \ .c b/

ist die Einschrnkung von f auf c.

f c D ff .x/ j x 2 cg

ist der Bildbereich von f  c.

Axiom (Ersetzung)
 

8y; w 8u9 z '.u; z; w/ ! 9x8z z  x $ 9u.u  y ^ '.u; z; w//

w steht hier fr ein Tupel: von Variablen. 9 '.x/, es gibt genau ein x . . . , steht fr
9x '.x/ ^ 8x 0 .'.x 0 / ! x D x 0 / .
Die Voraussetzung 8u9 z '.u; z; w/ bedeutet, da die Klasse

F D f.u; z/ j '.u; z; w/g

ein Funktional F W V ! V definiert. Das Ersetzungsaxiom behauptet, da fr alle y das


Bild F y wieder eine Menge ist.
Als ein Beispiel berlegen wir, wie wir ohne Verwendung des Potenzmengenaxioms
die Existenz von a b aus dem Ersetzungsaxiom schlieen knnen: Wir halten zunchst
x fest. Dann gilt offenbar
:
8u9 z z D .x; u/:

Also gibt es eine Menge, die genau aus den .x; u/ mit u 2 b besteht. Diese Menge ist
fxg b. Eine
natrlich  zweite Anwendung des Ersetzungsaxioms
S
liefert die Existenz von
c D fxg b j x 2 a . Schlielich ist a b D c.
Ein zweites Beispiel: Mit Hilfe des Ersetzungsaxiom sieht man leicht, da die inverse
Relation

R1 D .y; x/ .x; y/ 2 R

eine Menge ist.


8 Die Axiome 63

Eine Funktion f W a ! b heit

 surjektiv, wenn Im.f / D b,


 injektiv, wenn f 1 eine Funktion ist,
 bijektiv, wenn f injektiv und surjektiv ist.

Surjektivitt und Bijektivitt sind nicht Eigenschaften von f allein, sondern Eigenschaften
des Paares f; b.

Exkurs ber definitorische Erweiterungen Die Einfhrung von neuen Relations und
Funktionszeichen
Sei T eine L-Theorie und '.x1 ; : : : ; xn / eine Formel. Wenn wir fr ' ein neues (n-
stelliges) Relationszeichen R einfhren, erweitern wir L zu L0 D L [ fRg und T zu
T 0 D T [ f8x1 ; : : : ; xn R.x1 ; : : : ; xn / $ '.x1 ; : : : ; xn /g. Es ist klar, da T 0 sich nicht
wesentlich von T unterscheidet. Erstens ist T 0 eine konservative Erweiterung von T ; das
heit, da jede L-Aussage, die in T 0 beweisbar ist, auch in T beweisbar ist. Zweitens ist
jede L0 -Formel zu einer L-Formel T 0 -beweisbar quivalent.
Die Einfhrung neuer Funktionszeichen beschreiben wir in einem Satz.

Satz 8.1 In T sei beweisbar, da ' eine Funktion definiert, also

T ` 8x1 ; : : : ; xn 9 x0 '.x0 ; : : : ; xn /:

Sei f ein neues n-stelliges Funktionszeichen und L0 D L [ ff g. Dann ist die L0 -


Theorie

T 0 D T [ 8x1 ; : : : ; xn '.f .x1 ; : : : ; xn /; x1 ; : : : ; xn /

eine konservative Erweiterung von T . Darberhinaus gibt es zu jeder L0 -Formel


eine L-Formel  mit T 0 ` $  .

Beweis Ein T -Modell A lt sich (in genau einer Weise) zu einem T 0 -Modell erweitern,
indem man f durch die Funktion interpretiert, die a1 ; : : : ; an das a0 zuordnet, fr das
A  'a0 ; : : : ; an . Daraus folgt, da T 0 eine konservative Erweiterung ist.
Die bersetzung  definiert man leicht rekursiv ber den Aufbau von . Etwas
schwerer ist nur der Fall, da eine Primformel ist. Sei also zum Beispiel D R.t0 ; t1 /.
Wenn f zum Beispiel in t0 vorkommt, whlen wir paarweise verschiedene Variable
y0 ; : : : ; yn , die in den ti nicht vorkommen, und schreiben

f s1 : : : sn
t0 D s0
y0
64 8 Die Axiome

fr geignete Terme t0 s0 ; s1 : : : ; sn . Dann ist

 ^
n
: 
0
D 9y0 ; : : : ; yn '.y0 ; : : : ; yn / ^ yi D si ^ R.s0 ; t1 /
i D1

qivalent zu und enthlt ein f weniger. 

Satz 8.1 ist auch sinnvoll fr n D 0. Wir fhren dann allerdings kein Funktionszeichen,
sondern eine neue Konstante ein.

Definition
Eine Erweiterung einer Theorie durch definierte Relationszeichen, Funktionszeichen
und Konstanten heit definitorische Erweiterung.

Man kann leicht zeigen, da konservative Erweiterungen T 0 , fr die jede L0 -Formel zu


einer L-Formel T 0 -beweisbar quivalent ist, definitorisch sind (Aufgabe 33).

Beispiele

Relationszeichen:8 xy f Wa ! b
Funktionszeichen: fz 2 x j '.z; y1 ; : : : ; yn /g x[y x\y
[
xny y P.y/
fx; yg fy1 ; : : : ; yn g .x; y/
x y dom.R/ Im.R/
R1 f .x/ f x
f y
Konstantenzeichen: ;

Folgerung Aussonderungsaxiom und Ersetzungsaxiom bleiben gltig, wenn ' neu


eingefhrte Relationszeichen, Funktionszeichen und Konstanten enthlt.

In unserer Mengenlehre sind die Elemente von Mengen wieder Mengen. Demgem
sind die einzigen Mengen, die wir konkret angeben knnen, letztlich aus der leeren Men-
gen aufgebaut: ;, f;; f;gg, usw. Wir nennen eine aus der leeren Menge aufgebaute Menge
fundiert. Die folgende Definition ist noch unprzise, weil wir den Begriff der unendlichen
Folge noch nicht haben.

8
Fr Funktionen a ! b verwenden wir das gleiche Zeichen wie fr die Implikation!
8 Die Axiome 65

Definition (informell)
Eine Menge x heit fundiert, wenn jede bei x anfangende absteigende 2-Kette

x 3 y0 3 y1 3 : : :

nach endlich vielen Schritten abbricht.

Das Fundierungsaxiom drckt aus, da jede Menge fundiert ist:

Axiom (Fundierung)

: :
8x.: x D ; ! 9z  x z \ x D ;/

Das lt sich (informell9 ) folgendermaen einsehen: Wenn x das Axiom nicht erfllt,
hat jedes Element von x ein Element, das wieder zu x gehrt. Man findet also (mit dem
Auswahlaxiom) eine unendliche 2-Kette von Elementen von x. Wenn umgekehrt y0 3
y1 : : : eine unendliche 2-Kette ist, verletzt x D fy0 ; y1 ; : : :g das Fundierungsaxiom.

Folgerung Eine Menge kann sich nicht selbst als Element enthalten. 

Daraus ergibt sich ein zweiter Beweis dafr, da V keine Menge ist. Sonst wre nmlich
V 2 V.
Es gibt drei Rechtfertigungen fr die Annahme des Fundierungsaxioms:

1. Unheimliche Mengen, wie solche, die sich selbst als Element enthalten, werden aus-
geschlossen.
2. Man kann mit Hilfe der brigen Axiome zeigen, da es zu jeder Menge eine Bijektion
mit einer fundierten Menge gibt. Fundierte Mengen gengen also, um Mathematik zu
betreiben.
3. Sei .M; E/ ein Modell aller Axiome von ZFC bis auf das Fundierungsaxiom. Setze
N D fm 2 M j j.M; E/  m ist fundiertg. Dann ist .N; E \ N 2 / ein Modell von
ZFC, das zustzlich das Fundierungsaxiom erfllt.

Die letzten beiden Axiome diskutieren wir in den nchsten Kapiteln.

Axiom (Unendlichkeit)

 
9x ;  x ^ 8z  x z [ fzg  x

9
Man kann diese Schluweise erst przise machen, wenn im nchsten Kapitel die natrlichen Zah-
len eingefhrt sind.
66 8 Die Axiome

Axiom (Auswahl)
 
8x : ;  x ! 9f W x ! V 8z  x f .z/  z

bungsaufgaben

33. Sei T 0 eine konservative Erweiterung von T und jede L0 -Formel zu einer L-Formel T 0 -
beweisbar quivalent. Dann ist T 0 quivalent zu einer definitorischen Erweiterung von T .
(Zwei Theorien heien quivalent, wenn sie die gleichen Modelle haben.)
34. Zeigen Sie, da das Paarmengenaxiom aus dem Ersetzungsaxiom, dem Potenzmengenaxiom
und der Existenz der leeren Menge folgt.
35. Sei P<w .N/ die Menge der endlichen Teilmengen von N und W N ! P<w .N/ eine Bijektion.
Definiere mE n m 2 .n/ und betrachte die LMe -Struktur .N; E /.
1. Welche Axiome von ZFC gelten in .N; E /?
2. Fr die Bijektion

.2n1 C    C 2nk / D fn1 ; : : : ; nk g (paarweise verschiedene ni )

ist .N; E / fundiert: es gibt keine unendliche absteigendende Kette

   n3 E n2 E n1 E n0

3. Geben Sie ein an, fr das .N; E / nicht das Fundierungsaxiom erfllt.
4. Geben Sie ein an, fr das .N; E / nicht fundiert ist aber trotzdem das Fundierungsaxiom
erfllt.
Hinweis: Ersetzen Sie N durch Z und finde eine geeignete Bijektion W Z ! P<! .Z/ mit
m 2 .n/ ) m < n.
5. Zeigen Sie, da alle fundierten .N; E / isomorph sind.
36. Wenn ZFC konsistent ist, hat ZFC ein Modell, das nicht fundiert ist.
Hinweis: Verwenden Sie die Tatsache, da es beliebig lange endliche 2-Ketten gibt, und den
Kompaktheitssatz.
Die natrlichen Zahlen
9

Die rekursive Definition



n D 0; 1; : : : ; n  1
ordnet jeder natrlichen Zahl n eine Menge n zu. Es ist zum Beispiel
0D;
1 D f;g
2 D f;; f;gg
3 D f;; f;g; f;; f;ggg
Wir schreiben im folgenden s.x/ fr den Nachfolger x [ fxg von x. In ZFC ist dann fr
alle n beweisbar, da
n C 1 D s.n/:
Man zeigt leicht durch Induktion:

Lemma Wenn m < n ist


:
ZFC ` : m D n: 

Folgerung Fr alle n; m ist

m<n H) ZFC ` m  n
m
n H) ZFC ` : m  n

Weil wir noch nicht wissen, wie man rekursive Definitionen in ZFC formalisiert, ist
dadurch der formale Begriff natrliche Zahl noch nicht definiert. Wir brauchen dazu:
Springer International Publishing Switzerland 2017 67
M. Ziegler, Mathematische Logik, Mathematik Kompakt, DOI 10.1007/978-3-319-44180-1_9
68 9 Die natrlichen Zahlen

Definition
Sei < eine Relation auf a (also eine Teilmenge von a a).
1. < ist eine partielle Ordnung , wenn
a) < irreflexiv ist: : x < x fr alle x 2 a.
b) < transitiv ist: x < y ^ y < z ! x < z fr alle x; y; z 2 a.
2. Eine partielle Ordnung < auf a heit linear, wenn fr alle x; y 2 a

:
x < y _ x D y _ y < x:

Definition
Eine Menge x heit transitiv, wenn alle ihre Elemente auch Teilmengen sind:

z  y  x ! z  x:
S
x ist genau dann transitiv, wenn x  x.

Definition
x heit natrliche Zahl, wenn
1. x transitiv ist,
2. 2 eine lineare Ordnung auf x definiert
3. und jede nicht-leere Teilmenge von x bezglich dieser Ordnung ein kleinstes und
ein grtes Element besitzt.

Da jede nicht-leere Teilmenge von x ein bezglich 2 minimales Element hat, folgt
schon aus dem Fundierungsaxiom und brauchte in der Definition nicht eigens gefordert zu
werden. Wir haben diese Bedingung einerseits aufgenommen, weil eine Menge mit einer
linearen Ordnung genau dann endlich (siehe Kap. 10) ist, wenn jede nicht-leere Teilmenge
ein kleinstes und ein grtes Element hat. Anderseits hat man so auch in Abwesenheit des
Fundierungsaxioms die richtige Definition.
2 ist schon eine lineare Ordnung von x, wenn die Elemente von x bezglich 2 ver-
gleichbar sind. Denn 2 ist irreflexiv nach dem Fundierungsaxiom. 2 ist transitiv auf x,
weil a 2 b 2 c 2 x zur Folge hat, da a c und c a und daher a 2 c.

Lemma 9.1 In ZFC ist beweisbar:


1. Elemente einer natrliche Zahl sind natrlichen Zahlen.
2. 0 ist eine natrliche Zahl. Wenn x eine natrliche Zahl ist, ist auch s.x/ eine natr-
liche Zahl.
3. Jede natrliche Zahl 0 hat die Form s.y/ fr eine natrliche Zahl y.
9 Die natrlichen Zahlen 69

2. impliziert, da alle n natrliche Zahlen sind. Aus 3. folgt (informell), da man jede
natrliche Zahl aus ; mit endlichen vielen Anwendungen der Operation s gewinnen kann.

Beweis 1. Sei x eine natrliche Zahl und y ein Element von x. Die Relation 2 ordnet y
ebenfalls linear, und jede nicht-leere Teilmenge von y hat bezglich 2 ein kleinstes und
ein grtes Element. Zu zeigen bleibt, da y transitiv ist. Das folgt aber sofort aus der
Transitivitt von 2 auf x.
2. Leicht.
3. Wenn die natrliche Zahl x nicht leer ist, hat x ein 2-grtes Element y. Es ist also

:
x D fz j z 2 y _ z D yg D s.y/: 

Wir bezeichnen mit ! die Klasse der natrlichen Zahlen.

Lemma ! ist eine Menge.

Beweis Sei x eine Menge wie im Unendlichkeitsaxiom. Wir zeigen, da ! eine Teilmenge
von x ist. Die Behauptung folgt dann aus dem Aussonderungsaxiom. Nehmen wir an, es
gbe ein a aus ! n x. Sei b das kleinste Element von s.a/, das nicht zu x gehrt. Dann
sind alle Elemente von b (die ja selbst wieder zu ! gehren) Elemente von x. Weil b x,
ist b nicht leer. Also hat b die Form s.c/. Dann ist c 2 x, woraus aber auch b 2 x folgt.
Ein Widerspruch. 

Aus dem Beweis folgt

Folgerung (Induktion) Eine Menge von natrlichen Zahlen, die 0 enthlt und unter
s abgeschlossen ist, besteht aus allen natrlichen Zahlen.

Wir schreiben < fr die 2-Relation zwischen natrlichen Zahlen.

Lemma 1. < ist eine lineare Ordnung auf !. Jede nicht-leere Teilmenge von ! hat
ein kleinstes Element.
2. Fr alle n 2 ! ist s.n/ der unmittelbare Nachfolger von n, also die kleinste Zahl
grer als n.
3. Alle n > 0 haben einen unmittelbaren Vorgnger.

1. besagt, da < eine Wohlordnung auf ! ist.


70 9 Die natrlichen Zahlen

Beweis Alle Aussagen sind leicht zu beweisen, auer der Vergleichbarkeit von je zwei
natrlichen Zahlen. Sei also m 2 ! festgehalten. Wir zeigen durch Induktion, da alle
n 2 ! mit m vergleichbar sind.
Zuerst mssen wir zeigen, da 0 mit m vergleichbar ist. Wenn m 0, hat m ein
kleinstes Element m0 . Weil die Elemente von m0 auch Elemente von m sind, mu m0 D 0
sein.
Jetzt nehmen wir an, da n mit m vergleichbar ist, und zeigen, da auch s.n/ mit
m vergleichbar ist. Das ist klar, wenn m n.1 Wenn n < m, sei n0 der unmittelbare
Nachfolger von n in der linearen Ordnung von s.m/. Es ist also n0 m, und die Elemente
von n0 sind genau die Elemente von n und n selbst. Das heit aber n0 D s.n/ und daher
s.n/ m. 

Um C und  definieren zu knnen, brauchen wir den Rekursionssatz fr !.

Satz (Rekursionssatz) Seien zwei Funktionen g W A ! B und hW A ! B ! B


gegeben. Dann existiert ein, eindeutig bestimmtes, f W A ! ! B mit

f .a; 0/ D g.a/
f .a; s.n// D h.a; n; f .a; n//

fr alle a 2 A und n 2 !

Beweis Wir halten a 2 A fest. Man zeigt leicht durch Induktion ber m, da es fr alle
m 2 ! genau ein f 0 W s.m/ ! B gibt mit '.a; m; f 0 /, wobei
 : : 
'.a; m; f 0 / D f 0 .0/ D g.a/ ^ 8n < m f 0 .s.n// D h.a; n; f 0 .n// :

Wir definieren jetzt


: 
f D .a; m; b/ 2 .A ! B/ 9f 0 '.a; m; f 0 / ^ f 0 .m/ D b : 

Definition
Addition CW ! ! ! ! und Multiplikation W ! ! ! ! werden definiert durch die
Rekursionsgleichungen

aC0Da
a C s.n/ D s.a C n/
a0D0
a  s.n/ D .a  n/ C a:

:
1
Hier und spter ist x y eine Abkrzung fr x < y _ x D y.
9 Die natrlichen Zahlen 71

Rechenregeln wie

mCnDnCm

beweist man leicht durch Induktion (siehe Aufgabe 37).

37. Zeigen Sie in ZFC, da .!; C; / ein unitrer kommutativer Halbring ist. Das heit, da die
Krperaxiome Nr. 1, 2, 4, 5, 6, 7, 8 in Kap. 1 gelten.
38. Sei M ein Modell von ZFC. Ein Element a von M heit nichtstandard natrliche Zahl, wenn
:
M  a  !, aber M  : a D n fr alle n D 0; 1; : : :
Zeigen Sie:
1. Wenn ZFC konsistent ist, gibt es ein Modell mit nichtstandard natrlichen Zahlen.
2. Es gibt in M keine kleinste nichtstandard natrliche Zahl.
39. Beweisen Sie den Satz von Schrder2 -Bernstein3 : Seien f W A ! B und gW B ! A Injektio-
nen. Dann gibt es eine Bijektion hW B ! A.
Hinweis: Wir knnen annehmen, da A eine Teilmenge von B und f die Inklusionsabbildung
ist. Sei C D fg n .x/ j n 2 !; x 2 B n Ag. Setze h.c/ D g.c/ fr c 2 C und h.y/ D y fr
y 2 B n C.
Der Satz von Schrder-Bernstein folgt sofort aus Lemma 10.3, das (in der Definition der
Mchtigkeit) das Auswahlaxiom verwendet. Der hier vorgeschlagene Beweis kommt ohne das
Auswahlaxiom aus.

2
Ernst Schrder (18411902) Karlsruhe. Funktionentheorie, Mathematische Logik
3
Felix Bernstein (18781956) Gttingen. Mengenlehre, Statistik
Ordinalzahlen und Kardinalzahlen
10

Definition
Eine Ordinalzahl ist eine transitive Menge, die durch 2 linear geordnet wird.

Alle natrlichen Zahlen und ! selbst sind Ordinalzahlen. Wir bezeichnen mit On die
Klasse der Ordinalzahlen.

Lemma 1. On wird durch 2 linear geordnet. (Wir nennen diese lineare Ordnung <.)
2. Jede nicht-leere Teilklasse von On hat ein minimales Element.
3. Jede Ordinalzahl ist die Menge ihrer Vorgnger:

D f 2 On j < g

4. On ist keine Menge.

Beweis Sei S ein echtes Anfangsstck (d. h. x < y 2 S ! x 2 S) von und 2


das kleinste Element von n S. Dann ist offensichtlich D S. Wenn nun und zwei
Ordinalzahlen sind, ist S D \ ein Anfangsstck von und . S kann nicht sowohl
von als auch von verschieden sein, weil sonst S selbst ein Element von und sein
mte. Wenn aber S D , ist , und, wenn S D , ist . Daraus folgt, da alle
Ordinalzahlen vergleichbar sind. Wie in Kap. 9 (vor Lemma 9.1) folgt, da 2 die Klasse
aller Ordinalzahlen linear ordnet.
Da jede nicht-leere Teilklasse von On ein minimales Element hat, folgt sofort aus dem
Fundierungsaxiom.
3. bedeutet lediglich, da Ordinalzahlen aus Ordinalzahlen bestehen. Das zeigt man
aber wie Lemma 9.1 (1).
Wenn On ein Menge wre, wre On selbst eine Ordinalzahl und mte sich selbst als
Element enthalten. 
Springer International Publishing Switzerland 2017 73
M. Ziegler, Mathematische Logik, Mathematik Kompakt, DOI 10.1007/978-3-319-44180-1_10
74 10 Ordinalzahlen und Kardinalzahlen

Aus 2. folgt ein Induktionsprinzip: Eine Teilklasse U von On enthlt alle Ordinalzah-
len, wenn fr alle

 U ! 2 U:

Eine Ordinalzahl der Form s./ heit Nachfolgerzahl. Man schreibt auch C 1 fr den
Nachfolger von . Eine Ordinalzahl > 0, die keine Nachfolgerzahl ist, heit Limeszahl.
Eine Klasse A ist ein System fx j '.x; a/g von Mengen, die eine Formel '.x; a/, mit
festgehaltenen Parametern a D a1 ; : : : ; an , erfllen. Das Aussonderungsaxiom besagt,
da der Durchschnitt einer Menge mit einer Klasse wieder eine Menge ist.
Ein Funktional F W A ! V ist eine funktionale Klasse von Paaren aus A V. Es ist also
8x 2 A 9 y .x; y/ 2 F . Vergleiche die Diskussion des Ersetzungsaxioms in Kap. 8.

Satz (Rekursionssatz) Zu jedem Funktional G W V ! V kann man ein Funktional


F W On ! V angeben, soda fr alle 2 On

F ./ D G.F  /:

Beweis Wir zeigen zuerst, da es fr alle genau eine Funktion f W ! V gibt, die fr
alle 2 die Rekursionsgleichung erfllt.
Zuerst die Eindeutigkeit: Wenn es ein anderes f 0 W ! V gibt, gibt es ein kleinstes
< mit f ./ f 0 ./. Aus f  D f 0  folgt aber f ./ D f 0 ./.
Wir zeigen die Existenz durch Induktion ber . Nehmen wir also an, da die Behaup-
tung schon fr alle 0 < gezeigt ist. Es gibt drei Flle:

1. D 0. Wir setzen f D ;
2. D 0 C 1. Wir whlen ein f 0 W 0 ! V, das die Rekursionsgleichung erfllt und

setzen f D f 0 [ . 0 ; G.f 0 // .
3. ist eine Limeszahl. Nach dem Ersetzungsaxiom ist

X D ff 0 W 0 ! V j 0 < ; f 0 erfllt die Rekursionsgleichung.g

eine Menge, weil die f 0 eindeutig durch 0 bestimmt sind. Aus demselben Grund ist
S
f D X eine Funktion.

Schlielich setzen wir


[
F D ff W ! V j 2 On; f erfllt die Rekursionsgleichungg: 
10 Ordinalzahlen und Kardinalzahlen 75

Wenn wir V definieren durch

V0 D ;
VC1 D P.V /
[
V
D V ;
Limeszahl;
<

erhalten wir die von Neumann1 -Hierarchie. Man zeigt leicht, da


[
VD V :
2On

V! besteht gerade aus den erblich endlichen Mengen: Eine Menge heit erblich end-
lich, wenn sie in einer endlichen (siehe spter in diesem Kapitel) transitiven Menge ent-
halten ist.
Ordinalzahlen werden durch < wohlgeordnet. Das folgende Lemma besagt, da Ordi-
nalzahlen Wohlordnungstypen sind.

Lemma 10.1 Jede Wohlordnung ist zu genau einer Ordinalzahl isomorph.

Beweis Sei .a; </ eine Wohlordnung. Wir suchen eine Ordinalzahl und eine Bijektion
f W ! a, die ordnungstreu ist:

x < y , f .x/ < f .y/

Sei  eine Menge, die nicht zu a gehrt, zum Beispiel  D a. Wir definieren

F W On ! a [ fg

durch
(
min.a n F / wenn a F 
F ./ D
 sonst

Wenn  nicht im Bild von F vorkme, wre F eine ordnungstreue Abbildung von On
nach a und daher injektiv. Dann wre aber On D F 1 a eine Menge nach dem Erset-
zungsaxiom.

1
John von Neumann (19031957) Princeton. Mathematische Logik, Spieltheorie, Quantenmecha-
nik
76 10 Ordinalzahlen und Kardinalzahlen

Sei die kleinste Ordinalzahl, fr die F ./ D . Dann ist f D F  die gesuchte


Bijektion.
ist eindeutig bestimmt. Denn sei f 0 W 0 ! a ein zweiter Isomorphismus. Dann erfllt
F D f 0 [ f.; / j 0 g die gleiche Rekursionsgleichung, und es folgt F 0 D F und
0

0 D . 

Aus dem Beweis folgt, da nicht nur , sondern auch der Isomorphismus zwischen a
und eindeutig bestimmt ist.
Eine Funktion f W x ! V mit f .z/ 2 z fr alle z 2 x heit Auswahlfunktion. Das
Auswahlaxiom sagt, da jede Menge x von nicht-leeren Mengen eine Auswahlfunktion
S
besitzt. Wenn x eine Wohlordnung besitzt, existiert eine Auswahlfunktion, ohne da
man das Auswahlaxiom annehmen mu. Man setzt einfach f .z/ D min.z/. Umgekehrt
folgt aus dem Auswahlaxiom der

Satz (Wohlordnungssatz) Jede Menge hat eine Wohlordnung.

Beweis Sei a eine Menge und  a. Man whlt eine Auswahlfunktion gW P.a/nf;g ! a.
Definiere

F W On ! a [ fg

durch
(
g.a n F / wenn a F 
F ./ D
 sonst

Wie im Beweis von Lemma 10.1 sieht man, da es ein gibt, fr das f D F  eine
Bijektion zwischen und a ist. Diese Bijektion transportiert die Wohlordnung von auf
a: Wir setzen

x < y , f 1 .x/ < f 1 .y/: 

Aus dem Auswahlaxiom folgt auch das Zornsche Lemma, das wie der Wohlordnungs-
satz zum Auswahlaxiom quivalent ist.

Satz 10.2 (Zornsches2 Lemma) Sei .A; </ eine partielle Ordnung, in der jede linear
geordnete Teilmenge K eine obere Schranke s besitzt. Dann besitzt A ein maximales
Element m.

2
Max August Zorn (19061993) Bloomington (Indiana). Algebra, Mengenlehre
10 Ordinalzahlen und Kardinalzahlen 77

Eine (echte) obere Schranke von K ist ein Element s mit a s (a < s) fr alle a 2 K.
Ein Element m heit maximales Element von A, wenn A kein Element enthlt, das grer
als m ist.

Beweis Das Auswahlaxiom liefert uns ein Funktional G, das jeder Teilmenge von A, die
eine echte obere Schranke hat, eine echte obere Schranke zuordnet und das sonst den
Wert  hat. Wir definieren

F W On ! A [ fg

durch

F ./ D G.F /:

Wenn F den Wert  nicht annehmen wrde, wre F eine ordnungstreue Abbildung von
On nach A, was nicht geht. Sei minimal mit F ./ D . Dann ist K D F  eine
linear geordnete Teilmenge von A, die keine echte obere Schranke hat. Sei m eine obere
Schranke (und damit grtes Element) von K. Dann ist m maximal in A. 

Definition
Zwei Mengen a und b heien gleichmchtig (in Zeichen a  b), wenn es eine Bijektion
zwischen a und b gibt.
Mit der Schreibweise a b drcken wir aus, da es eine Injektion f W a ! b gibt.

a b bedeutet, da a gleichmchtig mit einer Teilmenge von b ist. Man berlegt


leicht, da a b genau dann gilt, wenn a leer ist oder wenn es eine surjektive Abbildung
von b nach a gibt.
Aus dem Wohlordnungssatz folgt, da jede Menge gleichmchtig zu einer Ordinalzahl
ist.

Definition
Die Mchtigkeit jaj einer Menge a ist die kleinste Ordinalzahl, die gleichmchtig zu a
ist:

jaj D minf 2 On j  ag

Lemma 10.3
a  b , jaj D jbj (1)
a b , jaj jbj (2)
78 10 Ordinalzahlen und Kardinalzahlen

Beweis (1) folgt sofort aus der Tatsache, da  eine quivalenzrelation ist. Die Richtung
( von (2) folgt aus )  . Die Umkehrung folgt aus dem nchsten Hilfssatz.


Hilfssatz 10.4 Sei eine Ordinalzahl und S eine Teilmenge von . Dann ist der Ord-
nungstyp von S (mit der induzierten Wohlordnung) nicht grer als .

Beweis Wir zeigen durch Induktion ber : Wenn es eine ordnungstreue Funktion f W !
(z. B. mit Bildbereich S) gibt, ist : Sei die Behauptung fr alle 0 < bewiesen.
Dann folgt 0 f . 0 / < fr alle 0 < . Daraus folgt . 

Wir nennen eine Kardinalzahl, wenn D jj. Die Mchtigkeit einer Menge ist
immer eine Kardinalzahl.

Lemma Alle natrlichen Zahlen und ! sind Kardinalzahlen.

Beweis Wir zeigen durch Induktion ber n, da n  m ) n D m fr alle m 2 !. Das


ist klar fr n D 0. Sei f W n C 1 ! m0 eine Bijektion. Weil m0 nicht 0 sein kann, ist
m0 D m C 1. Wenn f .n/ D m, ist f  n eine Bijektion zwischen n und m. Wir schlieen
n D m und daraus n C 1 D m0 . Sonst sei f .x/ D m fr ein x < n. Dann ist die Funktion
(
f .n/ wenn z D x
g.z/ D
f .z/ sonst

eine Bijektion zwischen n und m.


Aus n ! folgt n D jnj j!j. Also ist j!j grer als alle n < !. Es folgt j!j D
!. 

Eine Menge a heit endlich, wenn jaj < !. Wenn jaj D !, heit a abzhlbar.

Satz (Cantor)
a < P.a/

Beweis Sei f W a ! P.a/ eine Abbildung. Die Menge

b D fx 2 a j x f .x/g

kann nicht im Bild von f liegen. Es gibt also keine Surjektion von a nach P.a/. 
10 Ordinalzahlen und Kardinalzahlen 79

Es folgt, da es keine grte Kardinalzahl gibt. Man bezeichnet mit C die kleinste
Kardinalzahl, die grer als ist die Nachfolgerkardinalzahl von . Es ist ! C P.!/.
Die Aussage

! C D P.!/

ist die Kontinuumshypothese (CH), auf Englisch continuum hypothesis. Wenn ZFC wider-
spruchsfrei ist, kann CH weder bewiesen noch widerlegt werden. Siehe dazu die Original-
artikel [12], [4] und das Lehrbuch [19].
Man zeigt leicht durch Induktion, da fr disjunkte endliche Mengen

a [ b D a C b :

Daraus folgt (wiederum durch Induktion), da



m n D m  n

fr alle m; n 2 !.

Satz Wenn a unendlich ist, ist



a a D a

Beweis Wir fhren den Beweis nur fr abzhlbare a. Den allgemeinen Fall beweist man
hnlich (durch Induktion ber jaj).
Die lexikographische Ordnung
8

0
<l < l oder
.l; m; n/ < .l 0 ; m0 ; n0 / l D l 0 ; m < m0 oder

:l D l; m D m0 ; n < n0

auf ! ! ! ist eine Wohlordnung. Wir definieren eine Wohlordnung von ! ! durch
   
.m; n/ < .m0 ; n0 / max.m; n/; m; n < max.m0 ; n0 /; m0 ; n0 :

Sei l D max.m; n/C1. Dann sind alle Vorgnger von .m; n/ in l l enthalten. Es gibt also
nur endlich
  (nmlich hchstens l  l) Vorgnger. Darausfolgt, da der Ordnungstyp
viele
von ! !; < nicht grer als ! sein kann. Also ist ! ! D !. 
80 10 Ordinalzahlen und Kardinalzahlen

bungsaufgaben

40. Zeigen Sie, da das Auswahlaxiom aus dem Zornschen Lemma folgt.
Hinweis: Sei x eine Menge von nicht-leeren Mengen. Betrachte eine maximale partielle Aus-
wahlfunktion.
41. Zeigen Sie, da die Menge der reellen Zahlen und die Potenzmenge von ! gleichmchtig sind.
42. Geben Sie eine Bijektion zwischen P.!/ P.!/ und P.!/ an.
43. Fr eine Menge A von Ordinalzahlen sei sup2A das Supremum von A, also die kleinste
obere Schranke von A in On. Wir definieren Addition, Multiplikation und Exponentiation von
Ordinalzahlen durch folgende Rekursionsvorschriften: (
ist immer eine Limeszahl)

C0D C . C 1/ D . C / C 1 C
D sup C
<

0D0  . C 1/ D .  / C 
D sup 
<

D1
0
C1
D 

D sup

<

Zeigen Sie den Satz ber die Cantorsche Normalform: Jede Ordinalzahl lt sich auf eindeutige
Weise schreiben als

! 1  n1 C : : : C ! k  nk

fr natrliche Zahlen ni > 0 und Ordinalzahlen 1 > : : : > k .


44. Zeigen Sie, da es eine kleinste Ordinalzahl "0 gibt mit ! "0 D "0 . Zeigen Sie, da sich jede Or-
dinalzahl unterhalb von "0 durch einen Ausdruck beschreiben lt, der sich aus der Konstanten
0 und den Funktionen x C y und ! x aufbaut.
45. Sei n
P 2 eine natrliche Zahl. DefinierePdie Funktion Sn W N ! N durch Sn .0/ D 0 und
Sn .x/ D i<k .n C 1/Sn .i/ ai , wobei x D i<k ni ai , ai < n, die n-adische Darstellung von x
ist. Eine Goodsteinfolge3 ist eine Folge x0 ; x1 ; : : : von natrlichen Zahlen, die die Rekursions-
vorschrift xnC1 D SnC2 .xn /  1 erfllen. Beweisen Sie den Satz von Goodstein [13]:

Fr jede Goodsteinfolge existiert ein n mit 0 D xn D xnC1 D : : :


P P 0
Hinweis: Definieren Sie Sn0 W N ! "0 durch Sn0 .0/ D 0 und Sn0 . i<k ni ai / D i<k ! Sn .i/ ai .
0
Setze F .n/ D SnC2 .xn /. Wenn xn 0, ist F .n C 1/ < F .n/.

3
Reuben Louis Goodstein (19121985) Leicester (England). Mathematische Logik
Metamathematik von ZFC
11

Wir ordnen jeder LMe -Formel eine Konstante p q in einer definitorischen Erweiterung
von ZFC zu (siehe Satz 8.1). Zunchst ordnen wir allen Zeichen einen Term zu:
:
pDq D .0; 0/
p^q D .0; 1/
p: q D .0; 2/
p.q D .0; 3/
p/q D .0; 4/
p9q D .0; 5/
pq D .0; 6/
pv0 q D .1; 0/
pv1 q D .1; 1/
::: D :::

Fr eine Formel D 0 1 : : : n1 der Lnge n setzen wir



p q D .0; p 0 q/; : : : ; .n1; p n1 q/ :

Die Notation wird nur in diesem Kapitel verwendet. In Kap. 15 ordnen wir Formeln
einer beliebigen endlichen Sprache eine natrliche Zahl zu, die Gdelnummer von , die
wir wieder mit p q bezeichnen. Man beachte, da alle p'q erblich endlich sind (siehe
Kap. 10).

Satz 11.1 (Fixpunktsatz) Fr jede LMe -Formel .x/ gibt es eine Aussage ' mit

ZFC ` ' ! .p'q/:

Springer International Publishing Switzerland 2017 81


M. Ziegler, Mathematische Logik, Mathematik Kompakt, DOI 10.1007/978-3-319-44180-1_11
82 11 Metamathematik von ZFC

Beweis Wir meinen mit .pq/ eigentlich die LMe -Aussage, die in der definitorischen
Erweiterung von ZFC zu .pq/ quivalent ist (siehe 8.1). Wir brauchen das folgende
Lemma:

Lemma Es gibt eine in ZFC definierbare Funktion Sub mit


:
ZFC ` p .pq/q D Sub.p q; pq/

fr alle LMe -Formeln .x/ und .

Beweis Sub beschreibt einfach die Einsetzung in Formeln.1 

Sei nun .v0 / die LMe -Formel die zu .Sub.v0 ; v0 // quivalent ist. Dann sind in ZFC
die folgenden Aussagen quivalent:

.p q/  .Sub.p q; p q//  .p .p q/q/

Wenn man jetzt ' D .p q/ setzt, ergibt sich der Fixpunktsatz. 

Der folgende Satz von Tarski behauptet die Unmglichkeit einer Wahrheitsdefinition
in ZFC.

Folgerung (Tarskis Satz ber die Wahrheitsdefinition) Wenn ZFC widerspruchs-


frei ist, gibt es keine Formel W .x/, so da fr alle Aussagen '

ZFC ` ' ! W .p'q/

Beweis Whle ein ' mit ZFC ` ' ! : W .p'q/. 

Das Beweisbarkeitsprdikat Sei Bew.x/ die Formel, die (in ZFC) ausdrckt, da x eine
in ZFC beweisbare Aussage ist. Es ist einleuchtend, da Bew.x/ die folgenden Loeb2 -
Axiome erfllt:

L1 ZFC ` ' H) ZFC ` Bew.p'q/


L2 ZFC ` Bew.p'q/ ^ Bew.p'
 ! q/ ! Bew.p q/
L3 ZFC ` Bew.p'q/ ! Bew pBew.p'q/q

1
Man sieht leicht, da man Sub.x; y/ D z durch eine Formel der Form '.x; y; z/ D 9w .w 2
V! ^ .w; x; y; z// definieren kann, wobei alle Quantoren in nur in beschrnkter Form vorkom-
men, also als 9u.u  v ^ : : :/ oder 8u.u  v ! : : :/. Wenn eine solche Formel auf konkret
gegebene erblich endliche Mengen zutrifft, ist das auch in ZFC beweisbar. (Vergleiche Satz 18.2
und Lemma 18.5.)
2
Martin Hugo Loeb (19212006) Leeds (England). Beweistheorie, Rekursionstheorie
11 Metamathematik von ZFC 83

Man beachte, da L3 gilt, weil L1 in ZFC beweisbar ist. Tatschlich ist die Gltigkeit von
L3 nicht einfach zeigen. Fr das Beweisbarkeitsprdikat der Peanoarithmetik geben wir
einen ausfhrlichen Beweis im Kap. 20.

Folgerung 11.2
ZFC ` ' ! H) ZFC ` Bew.p'q/ ! Bew.p q/ (11.1)
ZFC ` Bew.p' ^ q/ ! .Bew.p'q/ ^ Bew.p q// (11.2)

Beweis (11.1): Aus ZFC ` ' ! folgt ZFC ` Bew.p' ! q/ wegen L1, und daraus,
mit L2, die Behauptung ZFC ` Bew.p'q/ ! Bew.p q/.
(11.2): ZFC ` Bew.p' ^ q/ ! Bew.p'q/ und ZFC ` Bew.p' ^ q/ !
Bew.p q/ folgen sofort aus (11.1). Aus (11.1) folgt auch

ZFC ` Bew.p'q/ ! Bew.p ! .' ^ /q/:

Wegen L2 ist

ZFC ` Bew.p q/ ^ Bew.p ! .' ^ /q/ ! Bew.p' ^ q/:

Daraus folgt .Bew.p'q/ ^ Bew.p q// ! Bew.p' ^ q/. 

:
Sei F eine Formel, deren Negation allgemeingltig ist, z. B. : 0 D 0. Die Aussage

CONZFC D : Bew.pFq/

drckt dann die Konsistenz von ZFC aus.

Satz (Zweiter Gdelscher Unvollstndigkeitssatz fr ZFC) Wenn ZFC konsistent


ist, ist CONZFC in ZFC unbeweisbar.

Beweis Natrlich folgt aus der Unbeweisbarkeit von CONZFC die Konsistenz von ZFC.
Wenn wir den Satz (natrlich in ZFC) bewiesen haben, haben wir also gezeigt, da

ZFC ` CONZFC ! : Bew.pCONZFC q/:

Wir beginnen daher mit einer Formel ', die

ZFC ` ' ! : Bew.p'q/ (11.3)


84 11 Metamathematik von ZFC

erfllt. Wir zeigen zuerst, da tatschlich3

ZFC ` ' ! CONZFC (11.4)

Zunchst folgt aus ZFC ` F ! ' und (11.1), da ZFC ` Bew.pFq/ ! Bew.p'q/. Also
ist ZFC ` ' ! CONZFC .
Dann folgt aus ZFC ` ' ! : Bew.p'q/, da

ZFC ` Bew.p'q/ ! Bew.p: Bew.p'q/q/:

Zusammen mit L3 ergibt das

ZFC ` Bew.p'q/ ! .Bew.p: Bew.p'q/q/ ^ Bew.pBew.p'q/q//:

Weil aber wegen Folgerung 11.2

ZFC ` Bew.p: Bew.p'q/q/ ^ Bew.pBew.p'q/q/ ! Bew.pFq/;

folgt Bew.p'q/ ! : CONZFC , das heit ZFC ` CONZFC ! '. Damit ist (11.4) bewie-
sen.
Nehmen wir an, da ZFC ` CONZFC . Dann ist ZFC ` ' wegen (11.4). Daraus folgt mit
L1 ZFC ` Bew.p'q/ und mit (11.3) ZFC ` : Bew.p'q/. ZFC wre also inkonsistent.


Wenn wir wten, da alle Aussagen, die in ZFC beweisbar sind, auch wahr wren,
wre CONZFC unabhngig von ZFC: Weder CONZFC noch : CONZFC sind dann aus ZFC
beweisbar. Es ist aber denkbar (siehe Aufgabe 46), da ZFC zwar konsistent ist, aber
ZFC ` : CONZFC . Um (unter der Voraussetzung der Konsistenz) eine von ZFC unabhn-
gige Aussage zu finden, mssen wir anders vorgehen.
Man kann leicht eine Liste '0 , '1 , . . . aller in ZFC beweisbaren Aussagen angeben.
Wenn man es vernnftig gemacht hat, lt sich

' ist die n-te beweisbare Aussage

mit einer LMe -Formel Bew.x; y/ ausdrcken, die die folgenden Eigenschaft hat:
Fr alle n D 0; 1; : : : und alle Aussagen ' ist

' D 'n H) ZFC ` Bew.p'q; n/ (11.5)


' 'n H) ZFC ` : Bew.p'q; n/: (11.6)

3
Wir verwenden nur .
11 Metamathematik von ZFC 85

Sei R eine Aussage mit


 
ZFC ` R ! 8 y  ! Bew.pRq; y/ ! 9z < y Bew.p: Rq; z/ :4

Man nennt R einen Rossersatz.


Der folgende Satz wurde von Rosser5 bewiesen.

Satz (Erster Gdelscher Unvollstndigkeitssatz fr ZFC) Wenn ZFC konsistent ist,


ist R unabhngig von ZFC.


Beweis Fr beliebiges sei die Aussage
 
8 y  ! Bew.p q; y/ ! 9z < y Bew.p: q; z/ :

Wir zeigen zuerst


ZFC ` H) ZFC ` : (11.7)

ZFC ` : H) ZFC ` : (11.8)

Daraus folgt ZFC ` R ZFC ` : R und damit die Behauptung des Satzes.
Beweis von (11.7): Wenn ZFC ` , gibt es nach (11.5) ein n mit ZFC ` Bew.p q; n/.
Weil ZFC konsistent ist6 , ist wegen (11.6) ZFC ` : Bew.p: q; m/ fr alle m. Daraus
folgt ZFC ` : 9z < n Bew.p: q; z/ und schlielich ZFC ` :  .
Beweis von (11.8): Wenn ZFC ` : , gibt es ein m mit ZFC ` Bew.p: q; m/, und
es ist ZFC ` : Bew.p q; n/ fr alle n. Daraus folgt

ZFC ` 8 y  ! Bew.p q; y/ ! m < y/


und schlielich ZFC ` . 

I Bemerkung In Kap. 20 werden Formeln und Beweise in den natrlichen Zahlen ko-
diert. Man sieht dann das Folgende leicht ein: Sei M ein Modell von ZFC, das keine
nichtstandard natrliche Zahlen enthlt (siehe Aufgabe 38), dann ist M  CONZFC .

Mit all dem ist jedoch noch nicht geklrt, in welcher Weise eine derart in die Welt zurck-
versetzte Erkenntnis ihre Aufgabe erfllt; und erst recht nicht, wie eine Erkenntnistheorie

4
Eigentlich mte man statt Bew.p: Rq; z/ die Formel Bew.Neg.pRq/; z/ nehmen fr eine defi-
:
nierbare Funktion Neg mit ZFC ` p: 'q D Neg.p'q/ fr alle '.
5
J. Barkley Rosser (19071989) Princeton. Zahlentheorie, Mathematische Logik
6
(11.7) und (11.8) gelten natrlich auch, wenn ZFC inkonsistent ist.
86 11 Metamathematik von ZFC

kontrollieren kann, ob sie ihre Aufgabe erfllt oder nicht. Als Reflexionstheorie des Wis-
senschaftssystems hat die Erkenntnistheorie es primr mit dem Verhltnis von Erkenntnis
und Gegenstand, das heit mit dem Realittsbezug der Erkenntnis zu tun. Pure Selbstrefe-
renz an dieser Stelle wrde heien: real ist, was die Erkenntnis als real bezeichnet. Diese
Auskunft war immer und bleibt auch heute unbefriedigend. Man mu den Zirkel aber nicht
vermeiden, man mu ihn durch Konditionierungen unterbrechen. Das ist die Funktion von
Grnden. Sie transformieren den circulus vitiosus aber nur in einen infiniten Regre, denn
man mu jetzt nach den Grnden fr die Grnde fragen. Daher wird der infinite Regre mit
Approximationshoffnungen ausgestattet, die letztlich in funktionierender Komplexitt rck-
versichert sind. Wenn man die Grnde wieder begrndet und jede Etappe fr Kritik offen
und revisionsbereit hlt, wird es immer unwahrscheinlicher, da ein solches Gebude ohne
jeden Realittsbezug htte aufgefhrt werden knnen. Die Zirkularitt ist nicht eliminiert, sie
ist in Gebrauch genommen, ist entfaltet, ist enttautologisiert. Ohne diesen basalen Selbstbe-
zug wrde jede Erkenntnis zusammenbrechen. Nur mit seiner Hilfe ist eine umweltsensible
Struktur aufzufhren, die dem, was Wissenschaft dann Realitt (Gegenstnde, Objekte usw.)
nennt, Information abgewinnt.
(Niklas Luhmann, [20, S. 648649])

bungsaufgaben

46. Angenommen ZFC ist konsistent, geben Sie eine konsistente Erweiterung von ZFC an, die die
Inkonsistenz von ZFC, und damit auch ihre eigene Inkonsistenz, beweist. Es ist also denkbar,
da auch ZFC seine eigene Konsistenz beweist, ohne inkonsistent zu sein.
47. Sei ' eine beliebige LMe -Aussage. Zeigen Sie:
1. ZFC ` ' $ Bew.p'q/ gdw. ZFC ` ',
2. ZFC ` ' $ : Bew.p: 'q/ gdw. ZFC ` : '.
3. ZFC ` ' $ Bew.p: 'q/ gdw. ZFC ` ' $ : CONZFC .
Teil III
Rekursionstheorie

Eine Funktion N n ! N heit berechenbar, wenn sie mit einer Registermaschine berech-
net werden kann. Eine Registermaschine ist ein einfacher Computer mit endlich vielen
Registern, in denen sich beliebig lange Wrter eines endlichen Alphabets speichern las-
sen. Wir zeigen, da die berechenbaren Funktionen mit den rekursiven Funktionen, die
sich aus einer Reihe von Grundfunktionen mit einfachen Regeln erzeugen lassen, ber-
einstimmen (Satz 12.1). Der Beweis lt sich sofort auf andere Maschinenmodelle, wie
zum Beispiel auf die in Aufgabe 50 eingefhrten Turingmaschinen, bertragen. Das recht-
fertigt die Churchsche These:

Alle intuitiv berechenbaren Funktionen sind rekursiv.

Eine Menge von natrlichen Zahlen heit rekursiv, wenn ihre charakteristische Funktion
rekursiv, und rekursiv aufzhlbar, wenn sie Bild einer rekursiven Funktion ist. In Kap. 14
werden wir mit Hilfe eines Diagonalverfahrens rekursiv aufzhlbare Mengen konstruie-
ren, die nicht rekursiv sind.
Wenn man eine endliche Sprache L festhlt, lassen sich L-Formeln ' durch ihre Gdel-
nummer p'q kodieren. Da sich die beweisbaren
 L-Aussagen effektiv aufzhlen lassen,
bedeutet nun, da die Menge p'q ` ' der Gdelnummern aller beweisbaren Aussa-

gen rekursiv aufzhlbar ist. Im nchsten Kapitel werden wir dann sehen, da p'q ` '
fr geeignetes L nicht rekursiv ist (Satz 18.4). Das heit, da es kein Verfahren gibt, das
entscheidet, ob eine gegebene L-Aussage ' beweisbar ist.
Mehr ber Rekursionstheorie die Theorie der berechenbaren Funktionen findet man
in Coopers Buch [6].
Registermaschinen
12

Eine Registermaschine M arbeitet mit endlichen vielen Registern R0 ; : : : ; RR1 , in denen


Wrter aus einem endlichen Alphabet A D fa1 ; : : : ; aL g stehen. Die Maschine kann
den letzten Buchstaben dieser Wrter lesen, den letzten Buchstaben streichen oder einen
Buchstaben anhngen1 . Das Programm von M ist eine Folge .b0 ; : : : ; bN / von Befehlen
der folgenden Art.

PUSH.r; l/ Wenn l D 0, wird der letzte Buchstabe des Worts in Rr gestrichen.


Sonst wird das Wort in Rr um den Buchstaben al verlngert. Danach
wird der nchste Befehl ausgefhrt.
GOTO.r; c0 ; : : : ; cL / Liest das Wort in Rr . Wenn das Wort leer ist, wird als nchstes der
Befehl mit der Nummer c0 ausgefhrt. Wenn der letzte Buchstabe al
ist, ist der Befehl Nummer cl der nchste.
STOP Die Maschine stoppt.

Der letzte Befehl bN des Programms soll immer STOP sein.


Sei A die Menge der Wrter, die sich aus den Buchstaben von A bilden lassen. M
berechnet auf folgende Weise eine partielle Funktion


n
FM WA : : : A ! A :

n

Am Anfang steht die Eingabe w1 ; : : : ; wn in den Registern R1 ; : : : ; Rn , die anderen Re-


gister sind leer. Die Maschine fhrt, mit dem ersten Befehl beginnend, das Programm
n
solange aus, bis der Befehl STOP ausgefhrt wird. Die Ausgabe FM .w1 ; : : : ; wn / steht
dann im Register R0 . Wenn M niemals stoppt, ist FMn .w1 ; : : : ; wn / undefiniert.
n
Eine (berall definierte) Funktion der Form FM nennen wir berechenbar.

1
Die Register sind also stacks.

Springer International Publishing Switzerland 2017 89


M. Ziegler, Mathematische Logik, Mathematik Kompakt, DOI 10.1007/978-3-319-44180-1_12
90 12 Registermaschinen

...
? ?
b0
..
.
- bc R0 R1 ... Rn ... RR1
..
.
bN
?

Wir werden im nchsten Kapitel von der folgenden Terminologie Gebrauch machen:
Eine Konfiguration ist ein R C 1-Tupel K D .c; R0 ; : : : ; RR1 / mit c N und
Ri 2 A . K beschreibt einen Zustand von M: Ri ist der Inhalt des i-ten Registers,
der nchste auszufhrende Befehl ist bc .
Die Anfangskonfiguration bei der Eingabe w1 ; : : : ; wn ist

K0 D .0; ;; w1 ; : : : ; wn ; ;; : : :/:

Eine Stopkonfiguration ist eine Konfiguration .c; : : :/ mit bc D STOP.


Die Nachfolgekonfiguration M.K / beschreibt den Zustand, in dem sich die Maschine
befindet, nachdem im Zustand K der Befehl bc ausgefhrt worden ist. Wenn bc D STOP,
ist M.K / D K .
Bei der Berechnung von FM .w1 ; : : : ; wn / wird die Funktion M. / so oft auf die An-
fangskonfiguration K0 angewendet, bis Ms .K0 / D .c; R0 ; : : :/ eine Stopkonfiguration
ist. Das Ergebnis ist dann R0 .
Im Alphabet A D f j g D fa1 g stellen wir jede natrliche Zahl m durch m Striche jm
dar. M berechnet so eine partielle Funktion

n
FM W N n ! N:

Wir geben jetzt eine quivalente Beschreibung der berechenbaren Funktionen von N n
nach N.

Definition
Eine Funktion f W N n ! N, .n
0/ heit rekursiv, wenn sie sich aus den Grundfunk-
tionen

R0
S.x/ D x C 1 .Nachfolger/
Ini .x1 ; : : : ; xn / D xi .1 i n/ .Projektionsfunktion/
C00 D0 nullstellig .Konstante Funktion/

durch Anwenden der folgenden Regeln aufbauen lt:


12 Registermaschinen 91

R1 Sind die gi und h rekursiv, dann auch

f .x1 ; : : : ; xn / D h.g1 .x1 ; : : : ; xn /; : : : ; gk .x1 ; : : : ; xn //:

(Einsetzung)
R2 Sind g und h rekursiv, dann auch

f .x1 ; : : : ; xn ; y/;

wobei

f .x1 ; : : : ; xn ; 0/ D g.x1 ; : : : ; xn /

und

f .x1 ; : : : ; xn ; y C 1/ D h.x1 ; : : : ; xn ; y; f .x1 : : : ; xn ; y//

(primitive Rekursion).
R3 g sei rekursiv, und es gelte 8x1 ; : : : ; xn 9y g.x1 ; : : : ; xn ; y/ D 0. Dann ist auch

f .x1 ; : : : ; xn / D y .g.x1 ; : : : ; xn ; y/ D 0/

rekursiv, wobei

y A.y/ D das kleinste y mit A.y/

(-Rekursion).

Anmerkungen Verwendet man nur R0, R1 und R2, dann heit f primitiv rekursiv.
Die konstanten Funktionen

Cnm .x1 ; : : : ; xn / D m

sind zum Beispiel primitiv rekursiv: Es ist C0mC1 D S.C0m /. Cnm entsteht aus C0m durch
Einsetzen von k D 0-vielen n-stelligen Funktionen.
Man kann rekursive Funktionen beliebig ineinander einsetzen. Zum Beispiel ist

f .x1 ; x2 ; x3 / D h.x1 ; g.x2 ; x2 //

rekursiv, wenn g und h rekursiv sind.


92 12 Registermaschinen

Satz 12.1 Die rekursiven Funktionen stimmen mit den berechenbaren Funktionen
berein.

In diesem Paragraphen beweisen wir eine Richtung: Die rekursiven Funktionen


sind berechenbar. Wir beschreiben Maschinen in naheliegender Weise durch Fludia-
gramme. Unser Alphabet ist A D f j g. I und J seien Registerinhalte (also R-Tupel
.R0 ; : : : ; RR1 /). Wir schreiben

I ! J;
M

wenn fr es ein s gibt, fr das Ms ..0; I // eine Stopkonfiguration mit Registerinhalt J


ist.
Die Lschmaschine Lr

.R0 ; : : : ; Rr ; : : : ; RR1 / ! .R0 ; : : : ; ;; : : : ; RR1 /


r L

lscht das r-te Register. Das Fludiagramm von Lr ist

Stop

'$
|
Eingabe - Rr ? - R . 1
r

&%
6

Formal:
 
Lr D GOTO.r; 3; 1/; PUSH.r; 0/; GOTO.0; 0; 0/; STOP

Die Kopiermaschine Khr;s

.R0 ; : : : ; Rr ; : : : ; Rs ; : : : ; Rh ; : : :/ !
r;s
.R0 ; : : : ; Rr ; : : : ; Rr ; : : : ; ; : : :/
Kh

kopiert Rr auf Rs mit Hilfsregister Rh , (h fr; sg).


12 Registermaschinen 93

Fludiagramm:

'$
|
Eingabe - Lh - Rr ? - R . 1
r

&% k
Q
Q
Q
? Q ?
Q
Ls Q Rh + |

?
'$
|
Rr + |  . 1 
Rh Rh ?
&% Q
Q
? 6 Q
Q
s
Stop
Rs + |

Formal:
r;s 
Kh D GOTO.h; 3; 1/; PUSH.h; 0/; GOTO.0; 0; 0/; GOTO.r; 7; 4/;
PUSH.r; 0/; PUSH.h; 1/; GOTO.0; 3; 3/; GOTO.s; 10; 8/;
PUSH.s; 0/; GOTO.0; 7; 7/; GOTO.h; 15; 11/; PUSH.h; 0/;

PUSH.r; 1/; PUSH.s; 1/; GOTO.0; 10; 10/; STOP

Fr das Hintereinanderausfhren der Maschinen M1 , M2 , M3 verwenden wir die Nota-


tion

M1 M2 M3 :

Zum Beispiel kopiert die Maschine


r ;:::;rn Is1 ;:::;sn
Kh1 D Khr1 ;s1 : : : Khrn ;sn

die Register Rr1 ; : : : ; Rrn nach Rs1 ; : : : ; Rsn . Wenn M eine n-stellige Funktion mit R-
Registern berechnet, bezeichnen wir mit M die Maschine

M D L0 LnC1 : : : LR1 M:

Zuerst zeigen wir, da die Grundfunktionen R0 berechenbar sind:

S wird berechnet von K21;0 .R0 C j/


i;0
Ini wird berechnet von KnC1
C00 wird berechnet von Stop
94 12 Registermaschinen

Die berechenbare Funktionen sind abgeschlossen unter der Regel R1:


Wenn zum Beispiel h.y1 ; y2 / von H und die Funktionen f1 .x/ und f2 .x/ von F1 und
F2 mit R Registern berechnet werden, wird f .x/ D h.f1 .x/; f2 .x// berechnet von der
Hintereinanderausfhrung der folgenden Maschinen. (Wir verwenden das Hilfsregister
RRC2 .)

K 1;R (rettet x auf RR ),


0;RC1
F1 K (berechnet f1 .x/ und speichert den Wert in RRC1 ),
K F2 K 0;2
R;1
(berechnet f2 .x/ und speichert den Wert in R2 ),
RC1;1 
K H (berechnet h.f1 .x/; f2 .x//).

Die berechenbare Funktionen sind abgeschlossen unter der Regel R2:


Wir zeigen das fr den Fall n D 1. Nehmen wir an, da g.x/ von G und h.x; y; z/ von
H mit jeweils R Registern berechnet werden. Dann wird f berechnet von folgendem
Fludiagramm: (Hilfsregister RRC3 )

Eingabe - K1,2;R,R+2 - G - RR+2 ? - Stop

&%

?
RR+1 +|  H  KR,R+1,0;1,2,3  .
RR+2 1

Die berechenbare Funktionen sind abgeschlossen unter der Regel R3:


Wir zeigen das fr den Fall n D 1. Nehmen wir an, da g.x; y/ von G mit R Regis-
tern berechnet wird. Dann wird f .x/ berechnet von der Maschine mit dem folgendem
Fludiagramm: (Hilfsregister RRC2 )

Eingabe - K1,R - G - R0 ? - KR+1,0 - Stop

6 &%
|

?
KR,R+1;1,2  RR+1 +|
bungsaufgaben 95

bungsaufgaben

48. Zeichnen Sie das Fludiagramm einer Maschine, die (in der j-Darstellung) das Produkt zweier
Zahlen berechnet.
49. Geben Sie eine Maschine ber dem Alphabet A D f0; 1; jg an, die die Binrdarstellung einer
Zahl in ihre j-Darstellung umwandelt, und eine Maschine, die das umgekehrte tut.
50. Eine Turingmaschine2 verwendet als Speicher ein zweiseitig unendliches Band, auf dem sich
ein Lese/Schreibkopf
bewegt.
 Die Zellen des Bandes sind leer oder enthalten einen Buchsta-
ben aus A D a1 ; : : : ; aL . Das Programm einer Turingmaschine ist eine endliche Folge von
Befehlen, von denen es vier Arten gibt: den Stopbefehl STOP; den Schreibbefehl WRITE(l),
der al in die aktuelle Zelle unter dem Schreibkopf schreibt oder den Inhalt der Zelle lscht,
wenn l D 0; die Befehle LEFT und RIGHT, die den Kopf veranlassen, sich eine Zelle nach
links oder nach rechts zu bewegen; den Verzweigungsbefehl GOTO(c0 ,...,cL ), der zum
Befehl mit der Nummer cl springt, wenn die aktuelle Zelle den Buchstaben al enthlt, oder
zum Befehl c0 , wenn die Zelle leer ist. Am Anfang des Laufs steht die Eingabe w1 ; : : : ; wn
durch leere Zellen getrennt unmittelbar rechts von Lesekopf, sonst ist das Band leer. Am Ende
steht die Ausgabe rechts von Lesekopf.
Zeigen Sie, da sich jede rekursive Funktion von einer Turingmaschine berechnen lt.
51. Definiere die Funktionenfolge A0 ; A1 ; : : : durch A0 .x/ D x C 1 und AaC1 .x/ D AaxC1 .1/.
a) Zeigen Sie, da jedes An primitiv rekursiv ist.
b) Begrnden Sie, warum die (modifizierte) Ackermannfunktion3 A.x; a/ D Aa .x/ in einem
intuitiven Sinn berechenbar ist. (Wir werden in Aufgabe 54 sehen, da A rekursiv ist.)
c) Fr jede primitiv rekursive Funktion f W N n ! N gibt es ein a, soda fr alle x1 ; : : : ; xn
X 
f .x1 ; : : : ; xn / Aa xi :
i

d) Die Ackermannfunktion ist nicht primitiv rekursiv.


Hinweis: Zu c): Beweise zuerst, da A in beiden Argumente streng monoton ist, und die Un-
gleichung Aa .AaC1 .x// AaC2 .x/. Dann zeigt man die Behauptung induktiv ber den Aufbau
primitiv rekursiver Funktionen.
Zu d): Man konstruiere aus A eine Funktion N ! N, fr die c) nicht gilt.

2
Alan Turing (19121954) Manchester. Mathematische Logik, Kryptographie
3
Wilhelm Ackermann (18961962) Ldenscheid. Mathematische Logik, Mengenlehre
Primitiv rekursive Funktionen und Gdelisierung
13

Lemma 13.1 Die Funktionen

x C y; x  y; xy ; x; x  y

sind primitiv rekursiv.

Dabei ist
(
 xy wenn y x
xyD
0 sonst:

Beweis x C y lt sich, wie die anderen Funktionen, leicht durch primitive Rekursion
definieren:

x C 0 D x; x C .y C 1/ D S.x C y/:

Ein Problem stellt vielleicht x  y dar. Zuerst definieren wir y  1 durch 0  1 D 0 und
.y C 1/  1 D y. Und dann x  0 D x und x  .y C 1/ D .x  y/  1. 

Definition
Eine Relation (oder Prdikat) R heit (primitiv) rekursiv, wenn die charakteristische
Funktion
(
0 wenn R.x1 ; : : : ; xn /
KR .x1 ; : : : ; xn / D
1 sonst

(primitiv) rekursiv ist.

Springer International Publishing Switzerland 2017 97


M. Ziegler, Mathematische Logik, Mathematik Kompakt, DOI 10.1007/978-3-319-44180-1_13
98 13 Primitiv rekursive Funktionen und Gdelisierung

:
Zum Beispiel ist die Relation x D 0 primitiv rekursiv, weil KD0
: .0/ D 0 und KD0: .x C

1/ D 1. Die Relation x < y ist primitiv rekursiv, weil K< .x; y/ D KD0
: ..x C 1/  y/.

Lemma 13.2 Wenn P und Q (primitiv) rekursive Prdikate sind, dann auch P ^ Q,
P _ Q, : P und P .f1 .x1 ; : : : ; xn /; : : : ; fk .x1 ; : : : ; xn // fr alle (primitiv) rekursiven
f1 ; : : : ; fk .

Beweis Es ist

KP _Q D KP  KQ
K: P D 1  KP
P ^ Q , : .: P _ : Q/:

Wenn man die fi in die charakteristische Funktion von P einsetzt, erhlt man die charak-
teristische Funktion von P .f1 .x1 ; : : : ; xn /; : : : ; fk .x1 ; : : : ; xn //. 

Lemma 13.3 Wenn P0 : : : : ; Pn1 (primitiv) rekursive Prdikate und f0 ; : : : ; fn (pri-


mitiv) rekursive Funktionen sind, so ist auch
8

f0 .x/ falls P0 .x/



<f1 .x/ falls : P0 .x/ ^ P1 .x/
f .x/ D :
::



:f .x/ falls : P0 .x/ ^ : : : ^ : Pn1 .x/
n

(primitiv) rekursiv.

Beweis Die Prdikate Q0 D P0 , Q1 D : P0 ^ P1 ,. . . , Qn D : P0 ^ : : : ^ : Pn1 sind


(primitiv) rekursiv, also auch

X
n
f .x/ D .1  KQi .x//fi .x/: 
i D0

Lemma 13.4 Sei P (primitiv) rekursiv. Dann sind auch die Relationen

R.x; z/ , 8y < z P .x; y/


S.x; z/ , 9y < z P .x; y/

(primitiv) rekursiv.
13 Primitiv rekursive Funktionen und Gdelisierung 99

Beweis Man definiert R durch primitive Rekursion:

R.x; 0/ , wahr
R.x; z C 1/ , R.x; z/ ^ P .x; z/

Schlielich ist S.x; z/ , : 8y < z : P .x; y/ 

Lemma 13.5 R.x; y/ sei eine primitiv rekursive Relation und b.x/ eine primitiv re-
kursive Funktion. Wenn

8x 9y b.x/ R.x; y/;

ist

f .x/ D y R.x; y/

primitiv rekursiv.

Beweis Die Funktion h.x; y/ D z .R.x; z/ _ z D y/ ist primitiv rekursiv, weil


h.x; 0/ D 0 und
(
h.x; y/ falls R.x; h.x; y//
h.x; y C 1/ D
yC1 sonst.

Es ist f .x/ D h.x; b.x//. 

Beispiel
 xjy (x teilt y) ist primitiv rekursiv (Lemma 13.4).
 x ist Primzahl ist primitiv rekursiv (Lemma 13.4).
 p.x/ D .x C 1/-te Primzahl ist primitiv rekursiv nach Lemma 13.5, weil sich y in

p.x C 1/ D y .y prim ^ y > p.x//

durch p.x/ C 1 beschrnken lt.

Wir schreiben pn fr p.n/.

Lemma 13.6 Durch

n2 xn1 C1
hx0 ; : : : ; xn1 i D px0 0 : : : pxn2 pn1  1
100 13 Primitiv rekursive Funktionen und Gdelisierung

ist eine Bijektion

h iW N  ! N

definiert. Es gilt
a) Die zweistellige Komponentenfunktion .x/i , definiert durch
(
  xi .i < n/
hx0 ; : : : ; xn1 i i
D
0 sonst

ist primitiv rekursiv.


b) Die Lngenfunktion lg.x/, definiert durch
 
lg hx0 ; : : : ; xn1 i D n

ist primitiv rekursiv.


c) Fr alle n ist h iW N n ! N primitiv rekursiv.
d) Fr alle x ist lg.x/ x. Wenn x > 0, ist .x/i < x.

Wir nennen hx0 ; : : : ; xn1 i die Gdelnummer der Folge .x0 ; : : : ; xn1 /.

Beweis c) Folgt aus 13.1.


d) Klar
b) Es ist
 
lg.x/ D y 8z x y z ! p.z/ .x C 1/ :

y kann durch x beschrnkt werden. Wende jetzt die Lemmas 13.4 und 13.5 an.
a) Es ist
8

yC1
.x C 1/ .i < lg.x/  1/
<y p.i/
.x/i D y p.i/ yC2
.x C 1/ .i D lg.x/  1/

:0 .i
lg.x/  1/

y ist durch x  1 beschrnkt. 

Wenn es uns nur auf Rekursivitt ankommt, sind nur die beiden Eigenschaften a) und
b) von Bedeutung. Sei W N ! N eine rekursive Bijektion. Dann definiert

hx0 ; : : : ; xn1 i D hx0 ; : : : ; xn1 i


13 Primitiv rekursive Funktionen und Gdelisierung 101

eine Gdelnumerierung mit rekursiver Komponentenfunktion und rekursiver Lngenfunk-


tion. Es gilt aber auch die Umkehrung:

I Bemerkung Sei W N  ! N eine Gdelnumerierung mit rekursiver Komponenten-


funktion xi und rekursiver Lngenfunktion Lg.x/. Dann gibt es eine rekursive Bijektion
W N ! N mit  D h i .

Beweis Man definiert durch


 
.s/ D t Lg.t/ D lg.s/ ^ 8i < lg.s/ ti D .s/i : 

Die Umkehrung 1 .x/ D .y .y/ D x/ einer rekursiven Bijektion ist wieder rekur-
siv.

Gdelisierung von Registermaschinen Wir ordnen allen Befehlen, Maschinen, Wrtern


und Konfigurationen eine Zahl, ihre Gdelnummer zu:

Objekt Gdelnummer
Stopbefehl b D STOP pbq D 0
Schreibbefehl b D PUSH.r; l/ pbq D hr; li
Verzweigung b D GOTO.r; c0 ; : : : ; cL / pbq D hr; c0 ; : : : ; cL i
Maschine M D .b0 ; : : : ; bN / pMq D hpb0 q; : : : ; pbN qi
Wort w D .ai1 ; : : : ; ain / pwq D hi1 ; : : : ; in i
Konfiguration K D .c; R0 ; : : : ; RR1 / pK q D hc; pR0 q; : : : ; pRR1 qi

Lemma Es gibt eine primitiv rekursive Funktion N.x; y/, soda fr alle Maschinen
M und passenden Konfigurationen K

N.pMq; pK q/ D pM.K /q:

Beweis Wir berlegen zuerst, da die folgenden Funktionen primitiv rekursiv sind:

Ers.hx0 ; : : : ; xi ; : : : ; xn1 i; i; y/ D hx0 ; : : : ; y; : : : ; xn1 i


Anh.hx0 ; : : : ; xn1 i; y/ D hx0 ; : : : ; xn1 ; yi
Str.hx0 ; : : : ; xn1 i/ D hx0 ; : : : ; xn2 i

In der Tat ist


 
Ers.x; i; y/ D z lg.z/ D lg.x/ ^ 8j < lg.x/.j i ! .z/j D .x/j / ^ .z/i D y :
102 13 Primitiv rekursive Funktionen und Gdelisierung

Wegen Ers.x; i; y/ < .x C 1/p.i/yC2 lt sich Lemma 13.5 anwenden. Weiterhin ist
 
Anh.x; y/ D z lg.z/ D lg.x/ C 1 ^ 8j < lg.x/..z/j D .x/j / ^ .z/lg.x/ D y :

Wieder hat man eine primitiv rekursive Schranke:

Anh.x; y/ < .x C 1/p.lg.x//yC2

Schlielich ist
 
Str.x/ D z lg.z/ D lg.x/  1 ^ 8j < lg.z/..z/j D .x/j /

und Str.x/ < .x C 1/p.lg.x/  1/:

Um N.m; k/ zu definieren, verwenden wir die Abkrzungen c D .k/0 , b D .m/c ,


r D .b/0 , w D .k/rC1 , l D lg.w/  1 und a D .w/l . Dann ist
8

k .lg.b/ < 2/

<ErsErs.k; 0; c C 1/; r C 1; Str.w/

.lg.b/ D 2 ^ .b/1 D 0/
N.m; k/ D  

Ers Ers.k; 0; c C 1/; r C 1; Anh.w; .b/1 /
.lg.b/ D 2 ^ .b/1 > 0/
:
Ers.k; 0; .b/aC1 / .lg.b/ > 2/: 

Beweis von 12.1 Wir zeigen, da jede berechenbare Funktion f .x1 ; : : : ; xn / rekursiv ist.
Wir machen Gebrauch von den folgenden Funktionen und Relationen, die man leicht als
primitiv rekursiv erkennt:
 
Eingabe.R; x1 ; : : : ; xn / D p 0; ;; jx1 ; : : : ; jxn ; ;; : : : ; ; q

n Rn1

ist die Anfangskonfiguration einer R-Registermaschine mit Eingabe x1 ; : : : ; xn .

Stop.m; k/ m.k/0 D 0

trifft auf eine Maschine m D pMq und eine Konfiguration k D pK q zu, wenn K eine
Stopkonfiguration von M ist.

Ausgabe.k/ D lg..k/1 /

ist der Inhalt von Register R0 , als Zahl interpretiert.

Ns .m; k/
bungsaufgaben 103

ist die s-fach iterierte Nachfolgerfunktion, definiert durch N0 .m; k/ D k und


NsC1 .m; k/ D N.m; Ns .m; k//.
Wir definieren das primitiv rekursive Kleene1 -Prdikat
 
Tn .m; x1 ; : : : ; xn ; g/ N.g/1 m; Eingabe.m; x1 ; : : : ; xn / D .g/2
   
^ Stop m; .g/2 ^ Ausgabe .g/2 D .g/0 ;

das besagt, da die Maschine m mit der Eingabe x1 ; : : : ; xn (und m Registern) nach .g/1
Schritten bei der Konfiguration .g/2 und mit der Ausgabe .g/0 stoppt. Beachte, da m
eine grobe Schranke fr die von M bentigte Registerzahl ist.
Wenn f von M berechnet wird, ist
 
f .x1 : : : : ; xn / D g Tn .pMq; x1 ; : : : ; xn ; g/ 0 : (13.1)

f ist also rekursiv. Man nennt (13.1) die Kleene-Normalform von f . 

Unser Beweis der Umkehrung von 12.1 macht keinen Gebrauch von den Details der
Definition der Arbeitsweise von Registermaschinen. Er zeigt, da alle irgendwie syste-
matisch arbeitenden Rechenmaschinen nur rekursive Relationen berechnen knnen. Man
nennt diese Erfahrungstatsache die

Churchsche2 These
Alle irgendwie berechenbaren Funktionen sind rekursiv.

bungsaufgaben

52. Zeigen Sie, da eine Funktion F W A : : : A ! A genau dann berechenbar ist, wenn

n
sich die Gdelnummer von F .w1 ; : : : ; wn / aus den Gdelnummern der w1 ; : : : ; wn rekursiv
berechnen lt.
53. Zeigen Sie, da alle Funktionen N n ! N, die sich von einer Turingmaschine berechnen lassen,
rekursiv sind.
54. Wir nennen eine Folge a D .a0 ; : : : ; an1 / von Tripeln hx; y; zi eine Berechnung der Acker-
mannfunktion, wenn gilt:
 Wenn .x; 0; z/ in a vorkommt, ist z D x C 1.
 Wenn .0; y C 1; z/ in a vorkommt, gehrt .1; y; z/ zu a.
 Wenn .x C1; y C1; z/ in a vorkommt, dann gibt es ein w, soda .x; y C1; w/ und .w; y; z/
zu a gehren.
Beweisen Sie:
1. Die Menge B aller Berechnungen der Ackermannfunktion ist primitiv rekursiv.
2. A.x; y/ D z gdw. hx; y; zi in einem a 2 B vorkommt.
3. A ist rekursiv.

1
Stephen Cole Kleene (19091994) Madison (Wisconsin). Rekursionstheorie
2
Alonzo Church (19031995) Princeton, Los Angeles. Mathematische Logik
Rekursiv aufzhlbare Mengen
14

Definition
Eine Relation R heit rekursiv aufzhlbar (r. a.), wenn fr eine rekursive Relation R

R.x1 ; : : : ; xn / 9y R.x1 ; : : : ; xn ; y/:

Insbesondere sind rekursive Relationen rekursiv aufzhlbar.

Lemma 14.1 Wenn P und R rekursiv aufzhlbar und die fi rekursive Funktionen
sind, dann sind auch
1. P _R
2. P ^R
3. 9zR.x1 ; : : : ; xn ; z/
4. T .x1 ; : : : ; xn ; w/ 8z < wR.x1 ; : : : ; xn ; z/
5. R.f1 .x1 ; : : : ; xn /; : : : ; fk .x1 ; : : : ; xn //
rekursiv aufzhlbar.

 
Beweis 1. P .x/ _ R.x/  9y P .x; y/ _ R.x;y/
2. P .x/ ^ R.x/ 9s P .x; .s/0 / ^ R.x; .s/1 /
3. 9zR.x; z/ 9s R.x; .s/0 ; .s/1 /
4. T .x; w/ 9s 8z < w R.x; z; .s/z /
5. R.f1 .x/; : : : ; fk .x// 9y R.f1 .x/; : : : ; fk .x/; y/ 

Lemma Eine Menge von natrlichen Zahlen ist genau dann rekursiv aufzhlbar, wenn
sie leer ist oder das Bild einer rekursiven Funktion.

Springer International Publishing Switzerland 2017 105


M. Ziegler, Mathematische Logik, Mathematik Kompakt, DOI 10.1007/978-3-319-44180-1_14
106 14 Rekursiv aufzhlbare Mengen

Beweis Das Bild R der rekursiven Funktion f ist rekursiv aufzhlbar, weil R.x/
9z f .z/ D x.
Wenn umgekehrt R.x/ 9y R.x; y/ und r 2 R, ist R Bild der rekursiven Funktion
(
.x/0 wenn R..x/0 ; .x/1 /
f .x/ D
r sonst 

Satz Es gibt eine universelle rekursiv aufzhlbare Relation U  N 2 . Das heit


a) U ist rekursiv aufzhlbar.
b) Fr jede rekursiv aufzhlbare Menge R gibt es ein e, soda

R D fx j U.e; x/g:

Man nennt We D fx j U.e; x/g die e-te rekursiv aufzhlbare Menge.

Beweis Sei S.x; y/ rekursiv und M eine Maschine, die versucht y KS .x; y/ D 0 zu
berechnen. M stoppt genau dann bei der Eingabe x, wenn 9y S.x; y/. Wir haben also
9y S.x; y/ 9g T1 .pMq; x; g/. Die rekursiv aufzhlbare Relation

U.e; x/ 9g T1 .e; x; g/

ist also universell. 

Folgerung 14.2 Es gibt eine Menge, die rekursiv aufzhlbar, aber nicht rekursiv ist.

Beweis : U.x; x/ kann nicht die Form We haben, weil : U.e; e/ e We . Also
ist : U.x; x/ nicht rekursiv aufzhlbar. U.x; x/ ist daher nicht rekursiv, aber rekursiv
aufzhlbar. 

Lemma 14.3 R ist genau dann rekursiv, wenn R und : R rekursiv aufzhlbar sind.

Beweis Sei R.x/ 9y V .x; y/ und : R.x/ 9y W .x; y/ fr rekursive V und W .


Dann ist
 
g.x/ D y V .x; y/ _ W .x; y/

fr alle x definiert und rekursiv. Und wir haben

R.x/ V .x; g.x//: 


bungsaufgaben 107

bungsaufgaben

55. Eine auf einer Teilmenge von N n definierte Funktion heit partiell rekursiv, wenn ihr Graph
rekursiv aufzhlbar ist.
1. Zeigen Sie, da die partiell rekursiven Funktionen genau die berechenbaren partiellen Funk-
tionen sind.
2. Wie mu man die Regeln R0 bis R3 modifizieren, soda sich genau die partiell rekursiven
Funktionen ergeben?
56. (Unlsbarkeit des Halteproblems) Zeigen Sie, da man nicht entscheiden kann, ob eine vor-
gelegte Registermaschine mit leerer Eingabe stoppt.
Hinweis: Sei A eine rekursiv aufzhlbare, aber nicht rekursive Menge. Sei M eine Maschine,
die die partielle Funktion A f0g berechnet. Betrachte fr jedes n die Maschine Mn , die bei
leerer Eingabe so luft wie M mit Eingabe n.
57. Beweisen Sie den Uniformisierungssatz: Jede rekursiv aufzhlbare Relation R  N nC1 lt
sich uniformisieren. Dies bedeutet: Es gibt eine partielle rekursive Funktion fR mit Definiti-
onsbereich fxN 2 N n j 9y R.x; N y/g, deren Graph in R liegt (d. h. fR .x/
N D y ) R.x; N y/).
Hinweis: Sei R gegeben durch 9zS.x; N y; z/ mit rekursivem S . Whlen Sie fr jedes xN im
Definitionsbereich ein minimales hy; zi mit S.x; N y; z/, und setzen Sie fR .x/
N D y.
Es folgt der Reduktionssatz: X und Y seien rekursiv aufzhlbar. Dann gibt es rekursiv aufzhl-
bare X 0  X und Y 0  Y mit X 0 [ Y 0 D X [ Y und X 0 \ Y 0 D 0.
Hinweis: Uniformisieren Sie R D X f0g [ Y f1g.
58. Zeigen Sie: es gibt eine universelle
zweistellige partiell rekursive
 Funktion, d. h. eine partiell
rekursive Funktion f , so da x 7! f .x; n/ n 2 N genau die Menge aller einstelligen
partiell rekursiven Funktionen ist.
Hinweis: durch Uniformisierung einer universellen rekursiv aufzhlbaren Relation. In der
nchsten Aufgabe geben wir explizit eine solche partiell rekursive Funktion an.
59. Definiere fr alle n die partiell rekursive Funktion ' n durch
 
' n .e; x1 ; : : : ; xn / D g Tn .e; x1 ; : : : ; xn ; g/ 0 :

Zeigen Sie, da ' n universell ist. Das heit, da jede n-stellige partiell rekursive Funktion die
Form 'en .x1 ; : : : ; xn / D ' n .e; x1 ; : : : ; xn / hat.
60. Beweisen Sie den s-m-n-Satz: Fr alle n; m gibt es eine rekursive Funktion sm n WN ! N,
mC1

soda fr alle e; x1 ; : : : ; xm ; y1 ; : : : ; yn

'emCn .x1 ; : : : ; xm ; y1 ; : : : ; yn / D 'snmn .e;x1 ;:::;xm / .y1 ; : : : ; yn /:

61. Beweisen Sie den Kleeneschen Fixpunktsatz: Fr jedes n und jede rekursive Funktion
hW N ! N gibt es ein e mit 'h.e/
n
D 'en .
Hinweis: Das Beweisverfahren ist das gleiche wie fr den Fixpunktsatz 11.1. Der s-m-n-Satz
liefert eine rekursive Funktion f mit ' n .h.' 1 .y; y//; x/ D 'fn.y/ .x/. Whle ein a mit f D 'a1 ,
und setze e D f .a/.
Gdelnummern von Formeln
15

Sei L D f
1 ; : : : ;
l g eine endliche Sprache1 . Wir ordnen den Zeichen
:
D ^ : . / 9

1 :::
l v0 v1 :::

die folgenden Gdelnummern p q zu:

h0; 0i h0; 1i h0; 2i h0; 3i h0; 4i h0; 5i


h0; 6i ::: h0; l C 5i h1; 0i h1; 1i :::

Eine Zeichenreihe ' D 1 2 : : : n hat die Gdelnummer2

p'q D hp 1 q; p 2 q; : : : ; p n qi:

Ob eine vorgelegte Zeichenfolge ein Term, eine Formel oder eine Aussage ist, lt sich
leicht entscheiden. Das folgende Lemma ergibt sich also sofort aus Churchs These, so-
fern es nur um Rekursivitt geht. Die primitive Rekursivitt beweist man leicht mit den
Methoden des Kap. 13.

Lemma Die folgenden Mengen sind rekursiv (sogar primitiv rekursiv).



1. ptq t L-Term 
2. p'q ' L-Formel 
3. p'q ' L-Aussage 

1
Die Ergebnisse dieses Kapitels verallgemeinern sich leicht auf rekursive Sprachen. Das sind Spra-
chen mit Aufzhlungen .ci /, .fi /, .Ri / der Konstanten, Funktionszeichen und Relationszeichen,
deren Stelligkeiten rekursiv von i abhngen.
2
Im Kap. 11 bezeichnete p q einen Mengenterm, hier eine Zahl.

Springer International Publishing Switzerland 2017 109


M. Ziegler, Mathematische Logik, Mathematik Kompakt, DOI 10.1007/978-3-319-44180-1_15
110 15 Gdelnummern von Formeln

Definition
Eine Theorie T heit

p'q
1. effektiv axiomatisierbar,
wenn
 ' 2 T rekursiv aufzhlbar ist.
2. entscheidbar, wenn p'q T ` ' rekursiv ist.

Ein Beweis von ' ist eine Folge '0 ; : : : ; 'n D ' von Formeln, die logische Axiome sind
oder aus jeweils frheren Formeln mit Modus Ponens oder 9-Einfhrung folgen (siehe
Beweis von Lemma 4.2). Die Gdelnummer eines solchen Beweises ist hp'0 q; : : : ; p'n qi.
Das nchste Lemma zeigt man leicht mit den Methoden des Kap. 13.


Lemma .x; p'q/ x ist Gdelnummer eines Beweises von ' ist primitiv rekursiv.



Folgerung p'q ` ' ist rekursiv aufzhlbar.

Beweis

` ' 9x .x ist Gdelnummer eines Beweises von '/ 

Wir werden in Aufgabe 75 sehen, da die Menge der allgemeingltigen zweitstufigen


Aussagen im allgemeinen nicht rekursiv aufzhlbar ist.


Satz Wenn T effektiv axiomatisierbar ist, ist p'q T ` ' rekursiv aufzhlbar.

Beweis Die Funktion f , die der Gdelnummer einer Folge von Formeln '0 ; : : : ; 'n die
Gdelnummer
der Implikation .'1 ^ : : : ; 'n / ! '0 zuordnet, ist rekursiv. Sei T  D
 
p'q ' 2 T und A D p'q ` ' . Weil T  und A rekursiv aufzhlbar sind, ist auch

 
p'q T ` ' D .x/0 f .x/ 2 A ^ 8 i < lg.x/ .0 < i ! .x/i 2 T  /

rekursiv aufzhlbar. 

Definition
Eine widerspruchsfreie L-Theorie T heit vollstndig, wenn fr jede L-Aussage '
entweder

T `' oder T ` : '

gilt.
bungsaufgaben 111

Folgerung Wenn T effektiv axiomatisierbar und vollstndig ist, ist T entscheidbar.

Beweis Sei A die Menge der Gdelnummern aller L-Aussagen, und B die Menge der
Gdelnummern der in T beweisbaren L-Aussagen. Sei f eine rekursive Funktion mit
f .p'q/ D p: 'q. Aus der Vollstndigkeit von T folgt dann

x B , x A _ f .x/ 2 B:

Mit Lemma 14.3 folgt die Behauptung. 

bungsaufgaben

62. Wenn man eine entscheidbare Theorie um endlich viele Axiome erweitert, erhlt man wieder
eine entscheidbare Theorie.
63. Jede entscheidbare L-Theorie lt sich zu einer vollstndigen entscheidbaren L-Theorie erwei-
tern.
Hinweis: Siehe Schritt 2 im Beweis von Satz 4.3.
64. Sei A eine abzhlbare L-Struktur mit einer Aufzhlung A D fai j i 2 Ng der Grundmenge. A
heit stark rekursiv, wenn fr alle L-Formeln '.x1 ; : : : ; xn / die Menge

f .i1 ; : : : ; in / j A  'ai1 ; : : : ; ain  g

rekursiv ist. Zeigen Sie: Wenn T konsistent und entscheidbar ist, hat T ein stark rekursives
Modell.
Hinweis: Folge dem Beweis von Satz 4.3, und verwende Aufgabe 63.
65. Jede effektiv axiomatisierbare Theorie hat eine rekursive Axiomatisierung. Das heit, da es
zu jedem effektiv axiomatisierbaren T ein rekursives T gibt, das dieselben Modelle hat.
Hinweis: Sei .'e /e2N eine effektive Aufzhlung von T . Setze T 0 D f'e ^    ^ 'e j e 2 Ng.

eC1 mal
Ein anderer Aufbau der rekursiven Funktionen
16

Satz 16.1 Alle rekursiven Funktionen lassen sich aus den Grundfunktionen

S.x/; Ini ; C00 ; C; ; K<

durch Anwenden der Regeln R1 (Einsetzung) und R3 (-Rekursion) gewinnen.

Wir werden den Satz im Rest dieses Kapitels beweisen. Wir nennen die Funktionen, die
sich so aufbauen wie im Satz angegeben, -rekursiv. Wenn wir zeigen knnen, da die
Klasse der -rekursiven Funktionen abgeschlossen ist unter primitiver Rekursion (Re-
gel R2), sind wir fertig.

Lemma 1. x  y ist -rekursiv.


2. Die Klasse der -rekursiven Relationen ist abgeschlossen unter Booleschen Kom-
binationen und beschrnkter Quantifizierung. (Siehe Lemma 13.2 und 13.4.)
:
3. x D y ist -rekursiv.
4. x  y .mod z/ ist -rekursiv.
5. Die Klasse der -rekursiven Funktionen ist abgeschlossen unter Definition durch
Fallunterscheidung. (Siehe Lemma 13.3.)

Beweis 1. x  y D z x < .y C z/ C 1
2. Die Abgeschlossenheit unter booleschen Kombinationen sieht man wie in Lem-
ma 13.2.
Wenn P .x; y/ -rekursiv ist, definieren wir
 : 
g.x; z/ D y P .x; y/ _ y D z :

Springer International Publishing Switzerland 2017 113


M. Ziegler, Mathematische Logik, Mathematik Kompakt, DOI 10.1007/978-3-319-44180-1_16
114 16 Ein anderer Aufbau der rekursiven Funktionen

Dann ist

9y < z P .x; y/ , g.x; z/ < z

-rekursiv.
:
3. x D y , .: x < y ^ : y < x/  : 
:
4. x  y .mod z/ , 9w < .x C y C 1/ x D y C wz _ y D x C wz
5. Wie Lemma 13.3. 

Lemma 16.2 (Gdels -Funktion) Es gibt eine -rekursive Funktion .a; b; i/ mit
folgender Eigenschaft: Fr jede endliche Folge c0 ; c1 ; : : : ; cn1 gibt es a und b, soda

.a; b; i/ D ci

fr i D 0; : : : ; n  1:

Beweis

.a; b; i/ D z z  a .mod b.i C 1/ C 1/

ist -rekursiv. Seien c0 ; c1 ; : : : ; cn1 gegeben. Wir whlen fr b eine Zahl, die durch alle
Zahlen zwischen 1 und n teilbar ist und die grer ist als alle ci . Dann sind die b  1 C 1; b 
2 C 1; : : : ; b  n C 1 paarweise teilerfremd. Wenn nmlich p ein Primteiler von bi C 1 ist,
teilt p nicht b. Wrde p auch bj C 1 teilen, fr ein j i, wre p ein Teiler von b.j  i/
und daher auch von j  i. j  i knnte kein Teiler von b sein, ein Widerspruch.
a sei eine gemeinsame Lsung der Kongruenzen

a  c0 .mod b  1 C 1/
a  c1 .mod b  2 C 1/
::
:
a  cn1 .mod b  n C 1/

Weil ci < b.i C 1/ C 1, ist ci jeweils die kleinste natrliche Zahl, die zu a kongruent
modulo b.i C 1/ C 1 ist. 

Beweis von 16.1 Wir mssen zeigen, da die -rekursiven Funktionen unter primitiver
Rekursion abgeschlossen sind. Nehmen wir also an, da g und h -rekursiv sind und da
f definiert ist durch

f .x; 0/ D g.x/
f .x; y C 1/ D h.x; y; f .x; y//:
bungsaufgaben 115

Die Relation
 
R.x; y; a; b/ , .a; b; 0/ D g.x/ ^ 8i < y .a; b; i C 1/ D h.x; i; .a; b; i//

ist -rekursiv. Offenbar gilt 8x; y 9a; b R.x; y; a; b/. Also ist

S.x; y/ D s 9a; b s R.x; y; a; b/

-rekursiv. Dann ist


 
f .x; y/ D z 9a; b S.x; y/ R.x; y; a; b/ ^ z D .a; b; y/ ;

und f ist -rekursiv. 

bungsaufgaben
 
66. 1. Zeigen Sie, da die Funktion F .a; b/ D aCbC1 2 C a eine Bijektion zwischen N 2 und N
definiert.   cC1
Hinweis: F bildet die Paare .0; c/; .1; c  1/; : : : ; .c; 0/ auf die Zahlen cC1 , 2 C 1, : : :,
cC1 cC2 2
2 C c D 2  1 ab.
2. Zeigen Sie, da die Umkehrfunktion .f; g/W N ! N 2 -rekursiv ist.
Hinweis: Berechnen Sie zuerst die Funktion F .a; b/ 7! a C b.
3. Folgern Sie aus 1. und 2., da es eine zweistellige -rekursive Funktion 0 .a; i / gibt, fr
die, mutatis mutandis, Lemma 16.2 gilt.
Teil IV
Arithmetik

Wir zeigen im ersten Kapitel, da sich alle rekursiven Funktionen in N, der Struktur der
natrliche Zahlen, definieren lassen. Daraus ergeben sich sofort die Unentscheidbarkeit
der Theorie von N und der Erste Gdelsche Unvollstndigkeitssatz, der besagt, da jede
effektiv aufzhlbare Teiltheorie unvollstndig sein mu. Damit bleiben in jeder expliziten
Axiomatisierung einer Teiltheorie von Th.N/ Stze der Zahlentheorie unbeweisbar. Wir
werden zwei solche Teiltheorien genauer untersuchen, die sehr schwache Theorie Q und
die sogenannte Peanoarithmetik, die die Theorie Q um das Induktionsschema erweitert.
Fr die Peanoarithmetik P werden wir dann dann den zweiten Gdelschen Unvollstn-
digkeitssatz beweisen: Die Konsistenz der Peanoarithmetik ist zwar wahr, aber in P nicht
beweisbar.
Gentzen hat in [9] bewiesen, da die Konsistenz der Peanoarithmetik in elementarer
Weise aus der Wohlgeordnetheit von "0 folgt (siehe Aufgabe 44). Mehr darber findet
man in Lehrbchern der Beweistheorie oder in [1].
Definierbare Relationen
17

Definition
Eine Relation R  N n heit arithmetisch, wenn sie in der Struktur

N D .N; 0; S; C;  ; </

definierbar ist.

Das bedeutet, da fr eine LN -Formel '

R.a1 ; : : : ; an / N  'a1 ; : : : ; an :

Eine Funktion f heit arithmetisch, wenn ihr Graph arithmetisch ist:

f .a1 ; : : : ; an / D a0 N  'f a0 ; : : : ; an :

Lemma 17.1 Rekursive Funktionen sind arithmetisch.

Beweis Wir verwenden Satz 16.1: Die Grundfunktionen S.x/; Ini ; C00 ; C; ; K< sind
klarerweise arithmetisch. Zum Beispiel ist

: :
K< .a1 ; a2 / D a0 N  .a0 D 0 ^ a1 < a2 / _ .a0 D S.0/ ^ : a1 < a2 /:

Es bleibt zu zeigen, da das System aller arithmetischen Funktionen unter den Regeln R1
und R3 abgeschlossen ist. Um die Notation zu vereinfachen, nehmen wir an, da n D 1
und k D 2 sind.
R1: Seien h durch 'h und die gi durch 'i definiert. Dann  wird h.g1 .x1 /; g2 .x1 // D x0
durch 9y1 ; y2 '1 .y1 ; x1 / ^ '2 .y2 ; x1 / ^ 'h .x0 ; y1 ; y2 / definiert.
Springer International Publishing Switzerland 2017 119
M. Ziegler, Mathematische Logik, Mathematik Kompakt, DOI 10.1007/978-3-319-44180-1_17
120 17 Definierbare Relationen

:
R3: Sei g.x1 ; x2 / D x0 definiert durch '.x0 ; x1 ; x2 /. Dann wird x2 .g.x1 ; x2 / D
0/ D x0 definiert durch

'.0; x1 ; x0 / ^ 8x2 < x0 : '.0; x1 ; x2 /: 

Folgerung Alle rekursiv aufzhlbaren Relationen sind arithmetisch.

Beweis Sei R.x1 ; : : : ; xn / , 9y R.x1 ; : : : ; xn ; y/ fr eine rekursive Relation R. Wenn


'.x0 ; : : : ; xn ; y/ die charakteristische Funktion von R definiert, wird R definiert von
9y '.0; x1 ; : : : ; xn ; y/. 

Folgerung Die Theorie

Th.N/ D f' j ' LN -Aussage; N  'g

der natrlichen Zahlen ist unentscheidbar.

Beweis Sei

a D Sa .0/

der kanonische LN -Term, der in N die Zahl a darstellt1 . Wenn Th.N/ entscheidbar wre,
wren alle arithmetischen Mengen

fa j '.a / 2 Th.N/g

rekursiv. Es gibt aber rekursiv aufzhlbare Mengen, die nicht rekursiv sind (Folge-
rung 14.2). 

Es gilt sogar:

Satz Th.N/ ist nicht arithmetisch.

Beweis Betrachte die Relation U.e; a/, die genau dann gilt, wenn e die Gdelnummer
einer Formel ' D '.v0 / ist, fr die N  '.a /. Weil jede arithmetische Relation die
Form

fa j U.e; a/g

1
Rekursive Definition: 0 D 0, aC1 D S.a /
bungsaufgaben 121

fr geeignetes e hat, ist die Relation : U.x; x/ nicht arithmetisch (siehe Beweis von
Folgerung 14.2). Also ist auch U nicht arithmetisch. Daraus folgt, da Th.N/ nicht arith-
metisch sein kann. 

Folgerung 17.2 (Erster Gdelscher Unvollstndigkeitssatz, [11]) Jede arithmeti-


sche Teiltheorie von Th.N/ ist unvollstndig.

Beweis Wenn T arithmetisch ist, ist auch T  D f' j T ` 'g arithmetisch. Wre T
vollstndig, wre aber T  D Th.N/. 

bungsaufgaben

67. (Die arithmetische Hierarchie) Eine Relation R  N k ist eine n0 -Relation, wenn fr eine
rekursive Relation R

R.x1 ; : : : ; xk / 9y1 8y2 9y3 : : : R.x1 ; : : : ; xk ; y1 ; : : : ; yn /:



n Quantoren

Komplemente von n0 -Relationen sind n0 -Relationen. Zeigen Sie fr n


1:
1. Die Klasse der n0 -Relationen ist unter den gleichen Operationen abgeschlossen wie die
Klasse der rekursiv aufzhlbaren Relationen in Lemma 14.1: Konjunktion, Disjunktion,
Existenzquantifizierung, beschrnkte Allquantifizierung und Einsetzung von rekursiven
Funktionen.
2. Jede arithmetische Relation ist eine n0 -Relation fr gengend groes n.
3. Es gibt universelle n0 -Relationen und universelle n0 -Relationen.
4. Es gibt n0 -Relationen, die nicht n0 sind und n0 -Relationen, die nicht n0 sind.
68. Zwei Teilmengen A und B von N heien rekursiv trennbar, wenn es eine rekursive Menge R
gibt, die A enthlt und zu B disjunkt ist. Zeigen Sie, da sich disjunkte 10 -Mengen rekursiv
trennen lassen.
Hinweis: Verwenden Sie den Reduktionssatz aus Aufgabe 57 auf die Komplemente an.
69. Konstruieren Sie zwei rekursiv aufzhlbare Mengen X und Y , fr die X n Y und Y n X nicht
rekursiv trennbar sind.
Hinweis: X D fx j x 2 W.x/0 g, Y D fx j x 2 W.x/1 g
Wenden Sie den Reduktionssatz auf X und Y an, um zwei disjunkte r. a. Mengen zu finden, die
nicht rekursiv trennbar sind.
Das System Q
18

Die Axiome des Systems Q sind

:
Q1 8x x C 0 D x
:
Q2 8x; y x C S.y/ D S.x C y/
:
Q3 8x x  0 D 0
:
Q4 8x; y x  S.y/ D x  y C x
Q5 8x : x < 0
:
Q6 8x; y x < S.y/ ! .x D y _ x < y/

Q ist offenbar eine wahre LN -Theorie (damit meinen wir, da die Axiome von Q in N
gelten.) Die ersten zwei Axiome kann man auffassen als eine rekursive Definition der
Addition, die nchsten beiden als eine rekursive Definition der Multiplikation und die
letzten beiden als eine rekursive Definition der Kleiner-Relation. Man erhlt zum Beispiel
sofort:

Lemma 18.1 Fr alle natrlichen Zahlen a und b ist in Q beweisbar:

:
Q 1 a C b D aCb
:
Q 2 a  b D ab  
: : :
Q 3 8x x < a ! x D 0 _ x D 1 _    _ x D a1 

Man nennt die Theorie, die aus den drei Axiomenschemata Q 1, Q 2, Q 3 besteht,
Q , oder auch Cobhams Theorie. Wir fassen Q als Teiltheorie von Q auf.
Aus Q 3 folgt sofort (durch Induktion ber b):

Springer International Publishing Switzerland 2017 123


M. Ziegler, Mathematische Logik, Mathematik Kompakt, DOI 10.1007/978-3-319-44180-1_18
124 18 Das System Q

Folgerung Fr alle natrlichen Zahlen a und b

:
a b H) Q ` : a D b
a < b H) Q ` a < b
a b H) Q ` : a < b

Man schliet leicht daraus (vgl. den Beweis von Satz 18.2):

Folgerung Alle wahren quantorenfreien LN -Aussagen sind in Q beweisbar.

Das lt sich auch so ausdrcken: Sei M ein Modell von Q und U die Unterstruktur
mit Universum fM a j a 2 Ng. Dann ist U N.

Definition
Eine 1 -Formel entsteht aus quantorenfreien Formeln durch iteriertes Anwenden von
^; _; 9x und beschrnkten Allquantoren

8x < t:

Dabei ist t ein Term, und 8x < t ' bedeutet 8x .x < t ! '/.
:
Eine 1 -Formel im engeren Sinn ist eine Formel, die Formeln der Form 0 D x,
: : : : :
S.x/ D y, x C y D z, x  y D z, x D y, : x D y, x < y, : x < y durch Anwenden
von ^; _; 9x; 8x < y.

I Bemerkung Jede 1 -Formel ist zu einer 1 -Formel im engeren Sinn quivalent.

Beweis Man eliminiert kompliziertere Terme mit Hilfe von Existenzquantoren. Zum Bei-
:
spiel ist S.x/ C y D S.z/ quivalent zu

: : :
9 x1 ; z1 .S.x/ D x1 ^ S.z/ D z1 ^ x1 C y D z1 /: 

Satz 18.2 Alle wahren 1 -Aussagen sind in Q beweisbar.

Beweis Wir zeigen fr alle 1 -Formeln '.x1 ; : : : ; xn / im engeren Sinn und alle natrli-
chen Zahlen a1 ; : : : ; an , da

N  'a1 ; : : : ; an  H) Q ` '.a1 ; : : : ; an /


18 Das System Q 125

durch Induktion ber den Aufbau von '. Wenn ' eine Primformel ist, folgt die Behaup-
tung aus Lemma 18.1. Der Induktionsschritt ist einfach, wenn ' eine Konjunktion oder
eine Disjunktion ist.
Wenn N  9x0 a1 ; : : : ; an , ist N  a0 ; a1 ; : : : ; an  fr ein a0 2 N. Nach Indukti-
onsvoraussetzung gilt Q ` .a0 ; a1 ; : : : ; an / und daher

Q ` 9x0 .x0 ; a1 ; : : : ; an /:

Wenn N  .8x0 < x1 /a1 ; : : : ; an , ist N  a0; a1 ; : : : ; an , und daher nach


Induktionsvoraussetzung Q ` a0 ; a1 ; : : : ; an , fr alle a0 < a1 . Wegen Q 3 folgt
daraus

Q ` .8x0 < x1 /a1 ; : : : ; an : 

Lemma 18.3 Alle rekursiven Funktionen und alle rekursiv aufzhlbaren Relationen
sind mit 1 -Formeln definierbar.

Beweis Der Beweis von Lemma 17.1 mu nur an einer Stelle abgendert werden. Wenn
man zeigen will, da die 1 -definierbaren Funktionen unter R3 abgeschlossen sind, ver-
:
wendet man statt : '.0; x1 ; x2 / die Formel 9y.: 0 D y ^ '.y; x1 ; x2 //. 

Folgerung Q ist unentscheidbar. Es ist sogar jede wahre Erweiterung von Q unent-
scheidbar.

Beweis Sei R.x/ rekursiv aufzhlbar und definiert durch die 1 -Formel '. T sei eine
wahre Erweiterung von Q . Dann ist fr alle a

R.a/ ) N  '.a / ) Q ` '.a / ) T ` '.a /


: R.a/ ) N '.a / ) T '.a /

Wenn T entscheidbar wre, wren also alle rekursiv aufzhlbaren Relationen rekursiv.


Satz 18.4 (Church, [3]) Der Prdikatenkalkl ist unentscheidbar: Es gibt eine endli-
che Sprache L, fr die

fp'q j ' allgemeingltige L-Formelg

nicht rekursiv ist.


126 18 Das System Q

Beweis Q ist endliche unentscheidbare Erweiterung der leeren LN -Theorie. Also ist nach
Aufgabe 62 die leere LN -Theorie unentscheidbar, und L D LN beweist den Satz. 

Definition
Sei T eine LN -Theorie und f W N n ! N eine Funktion. Die Formel '.x0 ; : : : ; xn /
reprsentiert f in T , wenn fr alle a0 D f .a1 ; : : : ; an /
 : 
T ` 8x0 x0 D a0 ! '.x0 ; a1 ; : : : ; an /

Wenn T eine wahre Theorie ist und ' die Funktion f reprsentiert, wird f auch von
' definiert. Wenn ' eine 1 -Formel ist und T wahre 1 -Formeln beweist, reprsentiert
eine 1 -Formel ' die Funktion f genau dann, wenn f durch ' definiert wird und fr alle
a1 ; : : : ; an
  :
T ` 8x0 ; x00 '.x0 ; a1 ; : : : ; an / ^ '.x00 ; a1 ; : : : ; an / ! x0 D x00 :

Wenn die wahre Theorie T effektiv axiomatisierbar ist und f in T von ' reprsentierbar
wird, ist f rekursiv, weil dann die Relation

a0 D f .a1 ; : : : ; an / T ` '.a0 ; a1 ; : : : ; an /

rekursiv aufzhlbar ist.

Lemma 18.5 Jede rekursive Funktion lt sich in Q durch eine 1 -Formel reprsen-
tieren.

Beweis Die Konstruktion im Beweis von Lemma 17.1 (und Lemma 18.3) funktioniert
auch hier, bis auf den Fall R3. Sei also g.x1 ; x2 / D x0 in Q reprsentiert durch
'.x0 ; x1 ; x2 /. Dann wird f .x1 / D x2 .g.x1 ; x2 / D 0/ definiert durch
 
.x0 ; x1 / D .x0 ; x1 / ^ .x0 ; x1 / ^ .x0 / ;

wobei

.x0 ; x1 / D '.0; x1 ; x0 /
 : 
.x0 ; x1 / D 8x2 < x0 9y : 0 D y ^ '.y; x1 ; x2 /
 
.x0 / D 0 x0 ^ 8z < x0 S.z/ x0 1 :

. ^ / ist die schon im Beweis von Lemma 18.3 benutzte Formel; .x0 / trifft in N auf
alle Zahlen zu. Also wird f von definiert. Sei nun a0 D f .a1 /. Wir mssen zeigen, da
 : 
Q ` 8x0 .x0 ; a1 / ! x0 D a0

:
1
s t steht fr .s < t _ s D t /.
18 Das System Q 127
 :
Wir argumentieren in Q : Zunchst ist klar, da fr alle a2 2 N die Aussage 9y : 0 D

y ^ '.y; a1 ; a2 / gleichbedeutend ist mit : '.0; a1 ; a2 /. Nehmen wir an, da .x0 ; a1 /
gilt. Aus .x0 / folgt induktiv, da x0 entweder grer ist als alle 0; : : : ; a0 , oder gleich
einer dieser Zahlen ist. Im ersten Fall wrde aus a0 < x0 folgen, da sich .a0 ; a1 / und
.x0 ; a1 / widersprechen. Wenn x0 gleich einer der Zahlen 0; : : : ; a0  1 ist, folgt x0 < a0 ,
und .x0 ; a1 / steht im Widerspruch zu .a0 ; a1 /. Also ist x0 D a0 . 

Folgerung Jede rekursive Relation R wird in Q von einer 1 -Formel ' reprsentiert.
Das heit:

R.a1 ; : : : ; an / ) Q ` '.a1 ; : : : ; an /


: R.a1 ; : : : ; an / ) Q ` : '.a1 ; : : : ; an /

Beweis Sei KR reprsentiert von . Setze '.x1 ; : : : ; xn / D .0; x1 ; : : : ; xn /. 

Satz (Fixpunktsatz) Zu jeder LN -Formel .v0 / gibt es eine LN -Aussage ' mit
 
Q ` ' ! p'q :

Wenn .v0 / eine 1 -Formel ist, findet man auch ' als 1 -Formel.

Beweis (Eine Variante des Beweises des Fixpunktsatzes von ZFC) Das Einsetzen von Ter-
men wird beschrieben durch eine rekursive Funktion

Sub.p.v0 /q; a/ D p.a /q:

Sei Sub in Q reprsentiert durch die 1 -Formel  . Dann ist also fr alle .v0 / und a
 : 
Q ` 8x0 x0 D p.a /q !  .x0 ; p.v0 /q ; a / :

Wir setzen

.v0 / D 9x0 . .x0 / ^  .x0 ; v0 ; v0 //:

Dann ist fr alle .v0 /


   
Q ` p.v0 /q ! p.p.v0 /q /q :

Fr  D ergibt sich
   
Q ` p .v0 /q ! p .p .v0 /q /q :
 
Also leistet ' D p .v0 /q das Gewnschte. 
128 18 Das System Q

Folgerung 18.6 Jede konsistente Erweiterung von Q ist unentscheidbar.

Beweis Sei T eine entscheidbare Erweiterung von Q . Die Menge der Gdelnummern
aller in T beweisbaren Aussagen sei in Q durch die Formel
   reprsentiert. Das heit,
 
da Q ` .p'q / fr in T beweisbare und Q ` :  p'q fr in T unbeweisbare '.
Mit dem Fixpunktsatz verschaffen wir uns eine Aussage mit
 
Q ` ! :  pq :

Die beiden Implikationsketten


 
T ) Q ` :  pq ) Q ` ) T `

und
 
T ` ) Q `  pq ) Q ` : ) T ` :

zeigen, da T inkonsistent ist. 

Folgerung Jede mit Q konsistente LN -Theorie ist unentscheidbar.

Beweis T [ Q ist eine unentscheidbare endliche Erweiterung von T . 

Man kann zeigen, da sogar jede mit Q konsistente LN -Theorie unentscheidbar ist
(Aufgabe 73).
Gdel hat den Ersten Unvollstndigkeitssatz (17.2) auf folgende Weise mit dem Fix-
punktsatz bewiesen: Sei T eine wahre arithmetischen Theorie. Wir wollen zeigen, da T
unvollstndig ist. Die Folgerungen aus T bilden eine arithmetische Menge. Also gibt es
ein  mit
 
N   pq , T ` 

fr alle . Sei ' eine Aussage mit


 
Q ` ' ! :  p'q :

Dann ist
 
N  ' , N  :  p'q , T ':
bungsaufgaben 129

Weil T wahr ist, ist das ist nur mglich, wenn N  ' und T ', wenn also ' eine wahre,
aber unbeweisbare Aussage ist.
Folgerung 18.6 impliziert, da jede konsistente, effektiv axiomatisierbare Erweiterung
von Q unvollstndig ist. Das gilt nicht fr arithmetische Erweiterungen:

I Bemerkung Sei L eine endliche (oder rekursive) Sprache. Dann hat jede konsistente
arithmetische L-Theorie eine vollstndige, arithmetische Erweiterung.

bungsaufgaben

70. Zeigen Sie: 1 -definierbare Relationen sind rekursiv aufzhlbar, 1 -definierbare Funktionen
rekursiv.
71. Geben Sie einen direkten Beweis von Folgerung 18.6 ohne Verwendung des Fixpunktsatzes:
Zeigen Sie, da f' j Q ` 'g und f' j Q ` : 'g nicht rekursiv trennbar sind.
Hinweis: Angenommen C wre eine trennende rekursive Menge von Formeln. Whle eine
effektive Aufzhlung '0 .x/; '1 .x/; : : : aller LN -Formeln mit freier Variable x. Dann wre
U.e; a/ ! 'e .a / 2 C eine universelle rekursive Menge. Widerspruch.
72. Betrachte fr jedes n die LN -Aussage

^
n
 : : : 
n D 8x x < a ! .x D 0 _ x D 1 _    _ x D a1 / :
aD0

Zeigen Sie, da sich jede rekursive Funktion f W N n ! N von einer 1 -Formel ' definieren
lt, fr die zustzlich fr alle a0 D f .a1 ; : : : ; an /
   

:
8x0 '.x0 ; a1 ; : : : ; an / ^ a1 ^    ^ an ! x0 D a0 ^ a0

allgemeingltig ist. Folgern Sie daraus, da sich jede rekursive Menge R von einer 1 -Formel
'.x/ definieren lt, fr die zustzlich gilt

: R.a/ ) ` : . a ^ '.a //:

73. 1. Die beiden Aussagenmengen f' j Q ` 'g und f' j ` : 'g sind nicht rekursiv trennbar.
2. Jede LN Theorie T , die mit Q konsistent ist, ist unentscheidbar.
Hinweis: Verwenden Sie Aufgabe 72 und den Hinweis von Aufgabe 71.
74. Zeigen Sie Tarskis Satz ber die Wahrheitsdefinition fr Q :
Es gibt keine Formel W .x/, so da fr alle Aussagen '

Q ` ' ! W .p'q/:

75. Zweitstufige L-Formeln enthalten zustzliche Variablen V0 ; V1 : : :, die ber alle2 Teilmengen
einer Struktur laufen. Die Variablen erscheinen in neuen atomaren Formeln t  Vi (t ist Ele-
ment von Vi ) und werden wie die Variablen erster Stufe quantifiziert. Beweisen Sie:
1. Es gibt eine zweitstufige LN -Aussage, die N bis auf Isomorphie charakterisiert.
2. Die Menge der allgemeingltigen zweitstufigen LN -Aussagen ist nicht rekursiv aufzhlbar.

2
Das ist die Standardinterpretation. Vergleiche dazu Aufgabe 77
130 18 Das System Q

76. Sei M D .b0 ; : : : ; bN / eine Registermaschine ber dem Alphabet fjg, R sei die Zahl der Re-
gister und bN der einzige Stopbefehl.
Betrachte die Sprache LM D f0; f; z0 ; : : : ; zN g, mit einer Konstanten 0, einem einstelligen
Funktionszeichen f und R-stelligen Relationszeichen z0 ; : : : ; zN . M0 sei die L-Struktur
.N; 0; S; Z00 ; : : : ; ZN0 /, wobei Zc0 .n0 ; : : : ; nR1 / genau dann gilt, wenn M mit leerer Eingabe
die Konfiguration .c; n0 ; : : : ; nR1 / erreicht.
1. Konstruieren Sie eine L-Aussage  mit folgenden Eigenschaften:
 M0 ist ein Modell von .
 Wenn .A; O; F; Z0 ; : : : ; ZN / ein Modell von  ist und Zc0 .n0 ; : : : ; nR1 / gilt, dann gilt
auch Zc .F n0 .O/; : : : ; F nR1 .O//.
2. Zeigen Sie, da  ! 9x0 ; : : : ; xR1 zN .x0 ; : : : ; xR1 / genau dann allgemeingltig ist,
wenn M bei leerer Eingabe stoppt.
3. Folgern Sie Satz 18.4 aus der Unlsbarkeit des Halteproblems (Aufgabe 56).
Peanoarithmetik
19

Die Axiome der Peanoarithmetik1 P sind die Axiome von Q und das Induktionsschema:
 
8x1 ; : : : ; xn '.x;
N 0/ ^ 8y.'.x;
N y/ ! '.x;
N S.y// ! 8y'.x; N y/
Ein Modell von Q ist genau dann ein Modell von P, wenn jede definierbare Menge von
Elementen, die 0 enthlt und unter S abgeschlossen ist, alle Elemente enthlt. Insbeson-
dere sind die natrlichen Zahlen ein Modell von P.

Lemma In P sind beweisbar:


1. Die Nachfolgeroperation S ist injektiv. Jedes Element auer 0 hat einen Vorgnger.
2. < ist eine lineare Ordnung. 0 ist kleinstes Element; S.x/ ist unmittelbarer Nachfol-
ger von x.
3. C;  definieren einen kommutativen Halbring mit Nullelement 0 und Einsele-
ment 1 .
:
4. C und  sind monoton. Es ist gilt x y ! 9z x C z D y.

Das ist alles, was man braucht, um elementare Zahlentheorie zu entwickeln. Nach
Satz 17.2 ist P zwar unvollstndig (siehe auch Kap. 20), man hat aber erst spt mathe-
matische Stze gefunden, die in P nicht beweisbar sind: der Satz von Goodstein (siehe
Aufgabe 45) ist ein solches Beispiel [17].

Beweis Ich zeige nur 2. Der Beweis der anderen Behauptungen ist ebenso leicht.
Beweis von 2.: Aus Q6 folgt, da die Menge aller x, die grer oder gleich 0 sind,
unter S abgeschlossen ist. Mit dem Induktionsaxiom folgt also
0 x: (19.1)

1
Guiseppe Peano (18581932) Turin. Analysis, Differentialgleichungen, Mathematische Logik,
Linguistik
Springer International Publishing Switzerland 2017 131
M. Ziegler, Mathematische Logik, Mathematik Kompakt, DOI 10.1007/978-3-319-44180-1_19
132 19 Peanoarithmetik

fr alle x. Als nchstes zeigen wir, da fr alle x

8y .y < x ! S.y/ x/: (19.2)

Die Menge A aller Elemente mit dieser Eigenschaft enthlt 0 wegen Q5. Nehmen wir an,
da x 2 A. Um zu zeigen, da S.x/ 2 A, betrachten wir ein y < S.x/. Aus Q6 folgt
y x. Wenn y < x, folgt S.y/ x, weil x 2 A, und daraus S.y/ < S.x/ wegen Q6.
Aus y D x folgt S.y/ D S.x/.
Jetzt zeigen wir durch Induktion, da alle x mit allen anderen Elementen vergleichbar
sind. Wegen (19.1) ist Null mit allen Elementen vergleichbar. Nehmen wir an, da x mit
allen Elementen vergleichbar ist. Dann ist auch S.x/ mit jedem y vergleichbar: Wenn
y x, ist y < S.x/ wegen Q6, und, wenn x < y, ist S.x/ y wegen (19.2).
Die Transitivitt

x<y<z!x<z

beweisen wir mit Induktion ber z. Fr z D 0, ist nichts zu zeigen. Aus x < y < S.z/
folgt x < y z und daraus, nach Induktionsvoraussetzung, x < z und damit x < S.z/.
Auch die Irreflexivitt

:x < x

beweisen wir durch Induktion: : 0 < 0 folgt aus Q5. Fr den Induktionsschritt nehmen
wir an, da S.x/ < S.x/. Daraus folgt S.x/ x. Zusammen mit x < S.x/ und der
Transitivitt ergibt sich x < x, was der Induktionsvoraussetzung widerspricht.
Fr lineare Ordnungen drckt Q6 gerade aus, da S.x/ unmittelbarer Nachfolger von
x ist. 

Das nchste Lemma bedeutet, da alle Modelle von P definierbar-wohlgeordnet sind:


Jede nicht-leere definierbare Teilmenge hat ein kleinstes Element.

Lemma (Verallgemeinerte Induktion) In P ist beweisbar:


h  i
8x1 ; : : : ; xn 8y.8z < y '.x;
N z/ ! '.x;
N y/ ! 8y'.x;
N y/


Beweis Wir halten x1 ; : : : ; xn fest und nehmen an, da 8y.8z < y '.x; N z/ ! '.x;
N y/ .
Sei A die Menge aller y mit 8z < y '.x; N z/. A enthlt 0, und, wenn y zu A gehrt, folgt
N y/ und damit S.y/ 2 A. Also gehren alle Elemente zu A.
'.x; 

Sei '.v0 ; : : : ; vn / eine 1 -Formel, die in P eine Funktion definiert:

P ` 8v1 ; : : : ; vn 9 v0 '.v0 ; : : : ; vn /:
19 Peanoarithmetik 133

Wir fhren fr jedes solche ' ein Funktionszeichen F' ein. L sei die so entstandene
Erweiterung von LN und

P D P [ 8v1 ; : : : ; vn '.F' .v1 ; : : : ; vn /; v1 ; : : : ; vn / ' wie oben

die entsprechende definitorische Erweiterung von P. Wir nennen F' eine 1P -Funktion.
Im Exkurs ber definitorische Erweiterungen haben wir gesehen, da P eine konser-
vative Erweiterung von P ist und da jede L -Formel in P zu einer LN -Formel quivalent
ist (Satz 8.1). Insbesondere gilt in P das Induktionsschema fr alle L -Formeln. Wenn
man sich den Beweis von Satz 8.1 vor Augen fhrt, sieht man, da jede 1 -Formel aus
L in eine 1 -Formel aus LN bersetzt wird. Daraus folgt, da P nichts neues liefert,
was wir als P D P notieren.
:
Jedes F' definiert eine Funktion N n ! N, die in P durch die Formel v0 D
F' .v1 ; : : : ; vn / reprsentiert wird, in P aber durch '.

Satz 19.1 Jede primitiv rekursive Funktion ist durch eine 1P -Funktion definierbar.

Zum Beweis brauchen wir ein Lemma.

Lemma i) Die Gdelsche -Funktion ist durch eine 1P -Funktion, die wir wieder
mit bezeichnen, definierbar.
ii) Fr diese Funktion gilt
 : : 
P ` 8a; b; c; i 9 a0 ; b 0 8j < i .a; b; j / D .a0 ; b 0 ; j / ^ c D .a0 ; b 0 ; i/

Beweis i) .a; b; i/ wird von der 1 -Formel


 : 
'.v0 ; v1 ; v2 ; v3 / D v0 < v2 .v3 C 1/ C 1 ^ 9y v1 D v0 C y.v2 .v3 C 1/ C 1/

definiert (vgl. Lemma 16.2).


ii) Die in P zu beweisende Eigenschaft ist wahr. Denn wenn a; b; c; i gegeben sind,
wendet man 16.2 auf die Folge

c0 D .a; b; 0/; : : : ; ci 1 D .a; b; i  1/; ci D c

an. Man erhlt a0 ; b 0 mit

c0 D .a0 ; b 0 ; 0/; : : : ; ci 1 D .a0 ; b 0 ; i  1/; ci D .a0 ; b 0 ; i/:

Die Behauptung folgt jetzt aus dem Prinzip, da sich alle einfachen arithmetischen
Sachverhalte in P beweisen lassen. 
134 19 Peanoarithmetik

Beweis von Satz 19.1 Die definierenden Formeln fr S, Ini und C00 definieren offenbar 1P -
Funktionen (siehe Lemma 17.1). Ebenso wie in 17.1 sieht man, da man durch Einsetzen
von 1P -Funktionen in 1P -Funktionen wieder 1P -Funktionen erhlt. Es bleibt zu zeigen,
da die 1P -Funktionen unter primitiver Rekursion (R2) abgeschlossen sind. Sei also f
gegeben durch

f .x; 0/ D g.x/; f .x; y C 1/ D h.x; y; f .x; y//;

und seien g und h definiert durch die 1P -Funktionen G und H . Dann wird f definiert
durch die die 1 -Formel

'.v0 ; v1 ; v2 / D 9a; b .v0 ; v1 ; v2 ; a; b/;

wobei
 :
.v0 ; v1 ; v2 ; a; b/ D .a; b; 0/ D G.v1 /
:
^ 8x < v2 .a; b; x C 1/ D H.v1 ; x; .a; b; x//
: 
^ v0 D .a; b; v2 / :

Die Funktionalitt von ' beweisen wir in P durch Induktion ber v2 :

 v2 D 0:
Es ist klar, da P ` 9 v0 '.v0 ; v1 ; 0/: Nach dem Lemma gibt es a; b mit .a; b; 0/ D
G.v1 /. Wenn '.v0 ; v1 ; 0/ gilt, mu v0 gleich G.v1 / sein.
 v2 ! v2 C 1:
Um zu zeigen, da es ein v0 mit '.v0 ; v1 ; v2 C1/ gibt, whlen wir zunchst mit Hilfe der
Induktionsvoraussetzung ein y, fr das '.y; v1 ; v2 / und a0 ; b 0 mit .y; v1 ; v2 ; a0 ; b 0 /.
Das Lemma liefert a; b mit 8x v2 .a0 ; b 0 ; x/ D .a; b; x/ und .a; b; v2 C 1/ D
H.v1 ; v2 ; y/ D v0 . Dann gilt .v0 ; v1 ; v2 C 1; a; b/ und '.v0 ; v1 ; v2 C 1/.
Sei '.v00 ; v1 ; v2 C 1/ fr ein anderes v00 . Es gibt dann a; b mit .v00 ; v1 ; v2 C 1; a; b/.
Sei y 0 D .a; b; v2 /. Dann gilt .y 0 ; v1 ; v2 ; a; b/ und y 0 D y nach Induktionsvoraus-
setzung. Es folgt v00 D H.v1 ; v2 ; y 0 / D H.v1 ; v2 ; y/ D v0 . 

Zusatz 19.2 Wenn die 1P -Funktion F .x; y/ wie eben durch primitive Rekursion aus
H und G definiert wird, ist in P beweisbar:
 : : 
8x F .x; 0/ D G.x/ ^ 8y F .x; y C 1/ D H.x; y; F .x; y// : (19.3)


Das Teilsystem von P , das aus P durch Hinzufgen der Aussagen (19.3) fr alle pri-
mitiv rekursiven Funktionen entsteht, nennt man primitiv rekursive Arithmetik. Genauer
bungsaufgaben 135

geht man so vor: Fr alle Terme G und H (und jede Stelligkeit), fgt man ein neues
Funktionszeichen F und das Axiom (19.3) ein. Dieser Proze wird abzhlbar oft iteriert.

Definition
Eine P1 -Formel ' ist eine 1 -Formel, die in P zur Negation einer 1 -Formel qui-
valent ist:

P`' !:

Folgerung Jede primitiv rekursive Relation ist durch eine P1 -Formel definierbar.

Beweis Sei R primitiv rekursiv. Nach Satz 19.1 wird KR von einer 1 -Formel ' definiert,
deren Funktionalitt in P beweisbar ist. Dann wird R von '.0; x1 ; : : : ; xn / definiert, und
die quivalenz : '.0; x1 ; : : : ; xn / ! '.1 ; x1 ; : : : ; xn / ist in P beweisbar. 

Man kann mit den eben angegebenen Methoden leicht zeigen, da sich die primitiv
rekursive Funktion

0 .a; i/ D ..a/0 ; .a/1 ; i/

mit einer 1P -Funktion definieren lt. Damit erhalten wir wie im Lemma

Folgerung 19.3  
: :
P ` 8a; c; i 9 a0 8j < i 0 .a; j / D 0 .a0 ; j / ^ c D 0 .a0 ; i/ :

bungsaufgaben

77. Eine LN -Struktur zweiter Stufe ist ein Paar .M; S/, wobei M eine LN -Struktur und S eine
Menge von Teilmengen von M ist. Wir sprechen ber Strukturen mit zweitstufigen Formeln, in
denen wir neue Variablen V0 ; V1 ; : : : fr Mengen verwenden und neue Primformeln t  Vi . Die
Peanoarithmetik zweiter Stufe P2 besteht aus den Axiomen von Q, dem Komprehensionssche-
ma
 

8x;N XN 9X 8y y  X $ '.x; N y/
N X;

fr zweitstufige Formeln ', in denen ber Mengenvariablen nicht quantifiziert wird, und dem
Induktionsaxiom
h  i
8X 0  X ^ 8y .y  X ! S.y/  X / ! 8y y  X :
136 19 Peanoarithmetik

Das Standardmodell von P2 ist .N; P.N//.


Zeigen Sie, da aus P2 die gleichen erststufigen Aussagen folgen wie aus P.
Hinweis: Wenn M ein Modell von P ist und S die Menge mit Parametern definierbaren Teil-
mengen von M , dann ist .M; S/ ein Modell von P2 .
78. Man zeige, da nicht jede rekursive Funktion durch eine 1P -Funktion definiert werden kann.
Hinweis: Sei '0 ; '1 ; : : : eine rekursive Aufzhlung aller einstelligen 1P -Funktionen 'i .v0 ; v1 /
und f1 ; f2 ; : : : die dadurch definierten Funktionen N ! N. Dann ist f .x/ D fx .x/ C 1 ein
Gegenbeispiel.
79. Beweisen Sie, da jede quantorenfreie L -Formel in P zu einer P1 -Formel quivalent ist.
Der Zweite Gdelsche Unvollstndigkeitssatz
20

Wir beginnen mit einer allgemeinen Beobachtung. Wir sagen, da eine Formel ' D '.x/ N
logisch aus T folgt, wenn 8xN ' in allen Modellen von T gilt (vergleiche die Definition in
Kap. 4).

Lemma (Deduktionslemma) Sei T eine L-Theorie. Eine L-Formel ' folgt genau
dann logisch aus T , wenn ' im Hilbertkalkl aus den Axiomen von T herleitbar ist.

Beweis Nehmen wir an, da ' D '.x/ N logisch aus T folgt. Aus 4.4 folgt die Existenz von
1 ; : : : ; n aus T , fr die 1 ^    ^ n ! 8x N ' einen Beweis im Hilbertkalkl hat. Es ist
nun leicht zu sehen, da im Hilbertkalkl ' aus 1 ^    ^ n ! 8xN ' und den Axiomen
1 ; : : : ; n herleitbar ist.
Die Umkehrung zeigt man durch Induktion ber die Lnge der Herleitung von '. Die
Behauptung ist klar, wenn ' ein Kalklaxiom oder ein Axiom von T ist. Schlielich prft
man leicht nach, da die beiden Schluregeln Modus Ponens und 9-Einfhrung Formeln,
die logisch aus T folgen, in Formeln berfhren, die ebenfalls logisch aus T folgen. 

Wir wollen das Beweisbarkeitsprdikat fr die Peanoarithmetik definieren. Zunchst


beschreiben wir die primitiv rekursiven Relationen

 Aus D fp'qj ' LN -Aussageg


 Ax D fp'qj ' LN -Formel, Axiom des Hilbertkalkls oder Axiom von Pg
n ', ,  L -Formeln, ' folgt aus und  mito
N
 Reg D .p'q; p q; pq/
einer der Regeln des Hilbertkalkls

durch 1 -Formeln. Die 1 -Formel


 
B 0 .s; n/ D 8i < n Ax. 0 .s; i// _ 9j; k < i Reg. 0 .s; i/; 0 .s; j /; 0 .s; k// ;

Springer International Publishing Switzerland 2017 137


M. Ziegler, Mathematische Logik, Mathematik Kompakt, DOI 10.1007/978-3-319-44180-1_20
138 20 Der Zweite Gdelsche Unvollstndigkeitssatz

definiert dann in N die Menge aller Paare .s; n/, fr die 0 .s; 0/,. . . 0 .s; n  1/ eine Her-
leitung aus den Axiomen von P ist (im Sinn der Definition im Beweis von Lemma 4.2).
Das vorlufige Beweisbarkeitsprdikat wird dann definiert durch
 : 
Bew0 .f / D Aus.f / ^ 9 n; s 0 .s; n/ D f ^ B 0 .s; n C 1/ :

Aus dem Deduktionslemma folgt, da Bew0 in N die Menge der Gdelnummern der in P
beweisbaren Aussagen definiert.
Man kann leicht zeigen (wie im Beweis von Lemma 20.2), da Bew0 die in Kap. 11
eingefhrten Loebaxiome L1 und L2 erfllt. Fr die Gltigkeit von L3 mte man aber
die Formeln Ax und Reg sorgfltiger whlen. Es gengt nicht, zu wissen, da Ax und
Reg in N die richtigen Relationen definieren. Um L3 in einfacher Weise zu erfllen, ver-
wenden wir einen Kunstgriff. Wir fgen zu den Axiomen von P alle wahren 1 -Aussagen
hinzu. Das ndert nichts an der Theorie, weil nach Satz 18.2 alle wahren 1 -Aussagen in
P beweisbar sind.1
Wir machen Gebrauch von folgendem Lemma, das wir spter beweisen.

Lemma 20.1 Es gibt eine 1 -Formel W1 .x/, soda fr alle 1 -Aussagen '

P ` ' ! W1 .p'q /:

Fr Q , und damit auch fr die Peanoarithmetik, lt sich leicht das Analogon von
Tarskis Satz ber die Wahrheitsdefinition beweisen (siehe Aufgabe 74). Das Lemma gilt
also nicht fr beliebige Aussagen '.
Weil die Menge der Gdelnummern von 1 -Aussagen primitiv rekursiv ist, knnen wir
annehmen, da

P ` : W1 .n /;

wenn n nicht die Gdelnummer einer 1 -Aussage ist.


Wir setzen jetzt

B.s; n/ D 8i < n W1 . 0 .s; i// _ .Ax. 0 .s; i// _

_ 9j; k < i Reg. 0 .s; i/; 0 .s; j /; 0 .s; k//

und
 : 
Bew.f / D Aus.f / ^ 9 n; s 0 .s; n/ D f ^ B.s; n C 1/ :

1
Das erweiterte Axiomensystem ist allerdings nicht mehr rekursiv, sondern nur noch rekursiv auf-
zhlbar.
20 Der Zweite Gdelsche Unvollstndigkeitssatz 139

Es ist klar, da Bew in N die Menge der Gdelnummern der in P beweisbaren Aussagen
definiert.

Lemma 20.2 Bew.x/ erfllt die Loeb-Axiome:

L1 P ` ' H) P ` Bew.p'q /
L2 P ` Bew.p'q / ^ Bew.p'! q / ! Bew.
 p q/
L3 P ` Bew.p'q / ! Bew pBew.p'q /q

Beweis L1: Wenn P ` ', ist N  Bew.p'q /. Weil Bew.p'q / eine 1 -Formel ist,
folgt P ` Bew.p'q /. Die Umkehrung gilt natrlich auch, weil P wahr ist.
L2: Es ist klar, da P ` Reg.p q ; p'q ; p'! q / und P ` Aus.p q /. Jetzt
argumentieren wir in P. Angenommen Bew.p'q/ und Bew.p' ! q/, dann gibt es s; m
und t; n mit 0 .s; m/ D p'q, 0 .t; n/ D p' ! q, B.s; m C 1/ und B.t; n C 1/. Wegen
der Eigenschaften von 0 (Folgerung 19.3), gibt es ein u, soda fr alle i m C n C 2
8

0
wenn i m
< .s; i/;
0 0
.u; i/ D .t; i  m  1/; wenn m < i m C n C 1

:p q; wenn i D m C n C 2

Es ist klar, da B.u; m C n C 3/. Damit ist gezeigt, da Bew.p q/.


L3: Fr alle 1 -Aussagen gilt P ` ! Bew.p q /. Beweis: Weil Aus.f / eine
1 -Formel ist, ist Aus.p q / in P beweisbar. Wir argumentieren jetzt in P: Aus folgt
wegen Lemma 20.1, da W1 .p q/. Wir whlen ein s, soda 0 .s; 0/ D p q. Dann gilt
B.s; 1/. Zusammen mit Aus.p q/ folgt Bew.p q/ 

Wenn F eine Formel ist, deren Negation allgemeingltig ist, drckt die Aussage

CONP D : Bew.pFq /

die Konsistenz von P aus. Aus Lemma 20.2 und dem Fixpunktsatz ergibt sich, wie frher

Satz (Zweiter Gdelscher Unvollstndigkeitssatz fr P, [11]) CONP ist wahr, aber


in P unbeweisbar. 

Statt den Beweis des Zweiten Gdelschen Unvollstndigkeitssatzes fr ZFC zu wie-


derholen, zeigen wir eine Verallgemeinerung, den Satz von Loeb.
140 20 Der Zweite Gdelsche Unvollstndigkeitssatz

Satz 20.3 (Loeb) Fr jede LN -Aussage ist

P ` Bew.pBew.p q /! q/ ! Bew.p q /:

Folgerung
P ` Bew.p q / ! ) P `

Fr D F ergibt sich

P ` CONP ) P ` F;

Das ist der zweite Gdelscher Unvollstndigkeitssatz fr P. Umgekehrt lt sich der Satz
von Loeb auffassen als der zweite Gdelsche Unvollstndigkeitssatz fr P [ f: g.

Beweis Der bersichtlichkeit zuliebe schreiben wir  ' fr Bew.p'q /.2 Zunchst be-
merken wir, da, wie in Folgerung 11.2, aus L1 und L2 folgt

P ` '! H) P `  ' !  (20.1)


P `  .' ^ / ! . ' ^  / (20.2)

Aus dem Fixpunktsatz folgt die Existenz eines ' mit

P ` ' ! . ' ! / (20.3)

Daraus folgt mit (20.1)

P `  ' !  . ' ! /: (20.4)

2
Diese Notation ist dem Artikel [24] entnommen. Solovay betrachtet modallogische Formeln f D
f .p1 ; : : : ; pn /. Das sind Formeln, die sich aus den Aussagenvariablen pi mit : , ^ und  aufbauen.
Wir schreiben ` f , wenn P ` f .'1 ; : : : ; 'n / fr alle LN -Aussagen 'i . Das Hauptresultat von [24]
besagt, da ` f genau dann, wenn f sich mit den Regeln
 ` f ; ` f ! g H) ` g
 ` f H) `  f
aus Tautologien und den Axiomen
 `  f ^  .f ! g/ !  g
 ` f ! f
 `  . f ! f / !  f
herleiten lt. Das letzte Axiomenschema ist der Loebsche Satz.
20 Der Zweite Gdelsche Unvollstndigkeitssatz 141

L3 ist

P `  ' !   ': (20.5)

Aus (20.2) und (20.1) folgt

P ` . . ' ! / ^   '/ !  (20.6)

Aus (20.4),(20.5) und (20.6) folgt

P ` ' !  (20.7)

und daraus mit (20.3)

P ` . ! / ! ':

Mit (20.1) folgt daraus

P `  . ! / ! '

und nochmal mit (20.7) die Behauptung

P `  . ! /! : 

Beweis von Lemma 20.1 Wir berlegen uns zuerst, da es gengt, die Behauptung fr 1 -
Formeln im engeren Sinn zu beweisen. Nehmen wir an, da W01 eine Wahrheitsdefinition
fr 1 -Formeln im engeren Sinn ist. Die Funktion, die der Gdelnummer einer 1 -Formel
die Gdelnummer einer beweisbar quivalenten 1 -Formel im engeren Sinn zuordnet, sei
durch eine 1P -Funktion ES definiert (siehe Bemerkung in Kap. 18). Dann ist W1 .x/ D
W01 .ES.x// eine Wahrheitsdefinition fr alle 1 -Formeln.
Alle 1 -Formeln im Beweis seien 1 -Formeln im engeren Sinn. Wir notieren endliche
Folgen von Zahlen als ; ; : : : und schreiben in Anlehnung an die Notation von Lemma
13.6 . /i fr das Element mit Index i.
Eine 1 -Formel '.v0 ; : : : ; vs1 / trifft genau dann auf eine Folge  der Lnge s zu,
wenn es eine Folge '0 ; : : : ; 'N von 1 -Formeln gibt und eine Folge 0 ; : : : ; N von end-
lichen Folgen, soda 'N D ', N D  und fr alle n N :

 Wenn sn die Lnge von n ist, kommen hchstens die Variablen v0 ; : : : ; vsn 1 frei in 'n
vor.
:
 Wenn 'n D 0 D vi , ist 0 D .n /i .
:
 Wenn 'n D S.vi / D vj , ist .n /i C 1 D .n /j .
:
 Wenn 'n D vi C vj D vk , ist .n /i C .n /j D .n /k .
142 20 Der Zweite Gdelsche Unvollstndigkeitssatz

:
 Wenn 'n D vi  vj D vk , ist .n /i  .n /j D .n /k .
:
 Wenn 'n D vi D vj , ist .n /i D .n /j .
:
 Wenn 'n D : vi D vj , ist .n /i .n /j .
 Wenn 'n D vi < vj , ist .n /i < .n /j .
 Wenn 'n D : vi < vj , ist .n /i .n /j .
 Wenn 'n D ' 0 ^ ' 00 , gibt es n0 ; n00 < n, mit 'n0 D ' 0 , 'n00 D ' 00 und n0 D n00 D n .
 Wenn 'n D ' 0 _ ' 00 , gibt es n0 < n, mit 'n0 D ' 0 und n0 D n oder ein n00 < n mit
'n00 D ' 00 und n00 D n .
 Wenn 'n D 9vi ' 0 , gibt es ein n0 < n mit 'n0 D ' 0 und .n0 /k D .n /k fr alle k mit
k < min.sn ; sn0 / und k i.
 Wenn 'n D 8vi < vj ' 0 , gibt es fr alle a < .n /j ein n0 < n mit 'n0 D ' 0 und
.n0 /i D a und .n0 /k D .n /k fr alle k mit k < min.sn ; sn0 / und k i.

Man verwendet jetzt, da die verwendeten Zerlegungen von Formeln in ihre Bestandteile
primitiv rekursiv sind. Das heit zum Beispiel, da die Menge

fp8vi < vj ' 0 q j i; j 2 N; ' 0 1 -Formelg

und die Funktionen

f .p8vi < vj ' 0 q/ D i


g.p8vi < vj ' 0 q/ D j
h.p8vi < vj ' 0 q/ D p' 0 q

primitiv rekursiv sind. Wegen Satz 19.1 ist das also alles 1 -definierbar. Wenn wir end-
liche Folgen mit Hilfe der 0 -Funktion beschreiben (siehe Folgerung 19.3), erhalten wir
eine 1 -Formel W01 .f; a/, soda fr alle 1 -Formeln ' D '.v0 ; : : : ; vs1 /
 
P ` 8a '. 0 .a; 0 /; : : : ; 0 .a; s1 // ! W01 .p'q ; a/ :

Man zeigt das durch Induktion ber den Aufbau von '.
Schlielich setzen wir W1 .x/ D W01 .x; 0/. 

bungsaufgaben

80. Man definiert auf folgende Weise die Semantik modallogischer Formeln. Sei F D .F; R/
eine Struktur mit einer zweistelligen Relation und F W F M ! W; F eine Abbildung , die
jedem Element e von F eine Wahrheitswertbelegung F .e; / der Aussagenvariablen aus M
zuordnet. Wir setzen F auf modallogische Formeln fort durch F .e; : f / D : F .e; f /,
F .e; f ^ g/ D F .e; f / ^ F .e; g/ und F .e;  f / D W, wenn F .e 0 ; f / D W fr alle
e 0 2 F mit eRe 0 .
bungsaufgaben 143

Sei R eine transitive und fundierte Struktur, d. h. ohne eine unendliche Kette e0 Re1 Re2 : : :.
Zeigen Sie, da F .e; f / D W fr alle F , alle e 2 F und alle Formeln f , die in Solovays
Kalkl (siehe Funote 2) beweisbar sind.
Hinweis: Durch Induktion ber die Lnge des Beweises von f . Interessant ist nur der Fall
f D  . g ! g/ !  g.
In [24] wird gezeigt, da auch die Umkehrung gilt.
Literatur

1. Samuel R. Buss, editor. Handbook of proof theory, volume 137 of Studies in Logic and the
Foundations of Mathematics. North-Holland Publishing Co., Amsterdam, 1998.
2. Georg Cantor. Beitrge zur Begrndung der transfiniten Mengenlehre. Math. Ann., 46:481512,
1895.
3. A. Church. A note on the Entscheidungsproblem. J. Symbolic Logic, 1:4041, 1936.
4. Paul J. Cohen. The independence of the continuum hypothesis. Proc. Nat. Acad. Sci. U.S.A.,
50:11431148, 1963.
5. Stephen Cook. The importance of the P versus NP question. J. ACM, 50(1):2729 (electronic),
2003.
6. S. Barry Cooper. Computability theory. Chapman & Hall/CRC, Boca Raton, FL, 2004.
7. Herbert B. Enderton. A mathematical introduction to logic. Harcourt/Academic Press, Burling-
ton, MA, second edition, 2001.
8. Gerhard Gentzen. Untersuchungen ber das logische Schliessen. I. Math. Z., 39:176210, 1934.
9. Gerhard Gentzen. Neue Fassung des Widerspruchsfreiheitsbeweises fr die reine Zahlentheorie.
(Forsch. z. Logik u. z. Grundlegung d. exakt. Wiss. N. F., 4) Leipzig: S. Hirzel. S. 19-44. , 1938.
10. Kurt Gdel. Die Vollstndigkeit der Axiome des logischen Funktionenkalkls. Monatsh. Math.
Phys., 37(1):349360, 1930.
11. Kurt Gdel. ber formal unentscheidbare Stze der Principia Mathematica und verwandter
Systeme. Monatsh. Math., 38:173198, 1931.
12. Kurt Gdel. The consistency of the axiom of choice and of the generalized continuum hypothe-
sis. Proc. Nat. Acad. Sci. U.S.A., 24:556557, 1938.
13. R. L. Goodstein. On the restricted ordinal theorem. The Journal of Symbolic Logic, 9(2):3341,
1944.
14. J. Herbrand. Sur le probleme fondamental de la logique mathmatique. Sprawozd. Towarz.
Nauk. Warszaw., Wydz. III, 24:1256, 1931.
15. K. Jnich. Topologie. 8. Aufl. Springer-Lehrbuch. Berlin: Springer, 2005.
16. Thomas Jech. Set theory. Springer Monographs in Mathematics. Springer-Verlag, Berlin, 2003.
The third millennium edition, revised and expanded.
17. Laurie Kirby and Jeff Paris. Accessible independence results for Peano arithmetic. Bull. London
Math. Soc., 14(4):285293, 1982.

Springer International Publishing Switzerland 2017 145


M. Ziegler, Mathematische Logik, Mathematik Kompakt, DOI 10.1007/978-3-319-44180-1
146 Literatur

18. Sabine Koppelberg. Handbook of Boolean algebras. Vol. 1. North-Holland Publishing Co.,
Amsterdam, 1989. Edited by J. Donald Monk and Robert Bonnet.
19. Kenneth Kunen. Set theory, volume 102 of Studies in Logic and the Foundations of Mathema-
tics. North-Holland Publishing Co., Amsterdam, 1983. An introduction to independence proofs,
Reprint of the 1980 original.
20. Niklas Luhmann. Soziale Systeme. 1984.
21. David Marker. Model theory, volume 217 of Graduate Texts in Mathematics. Springer-Verlag,
New York, 2002. An introduction.
22. J. A. Robinson. A machine-oriented logic based on the resolution principle. J. ACM, 12(1):23
41, 1965.
23. Joseph R. Shoenfield. Mathematical Logic. AddisonWesley Series in Logic. AddisonWesley
Publishing Company, 1973.
24. Robert M. Solovay. Provability interpretations of modal logic. Israel J. Math., 25:287304,
1976.
25. K. Tent and M. Ziegler. A Course in Model Theory. ASL Lecture Note Series. Cambridge
University Press, 2012.
Sachverzeichnis

A  ', 1214, 24, 61, 74, 77, 124 Q, 123


$, 6 Q , 123
8, 6 R1 , 62
9x1 ; : : : ; xn , 7 Rr , 89
A , 89 S, 3, 4, 67, 90
xa , 12 1 -Formel, 124
.a; b; i /, 114, 133 im engeren Sinn, 124
0 .a; i /, 135 n0 -Relation, 121
`L ', 23 1P -Funktion, 133
C00 , 90, 91 Sub, 82, 127
dom.R/, 61, 120 t A , 11, 14, 33, 103, 120
P1 -Formel, 135 T ` ', 30
_, 6 T  ', 30
WN  _, 6
_ t .x1 ; : : : ; xn /, 12
S
iD1 , 45 y, 60
9-Quantorenaxiome, 19, 20, 62 V, 59
"0 , 80 We , 106
9, 6 x ist frei fr s in ', 14, 59, 60, 97, 100
'.x1 ; : : : ; xn /, 13, 14, 62, 81, 89, 109 y; z/, 61
.x; 
' n , 107 z j '.z; y1 ; : : : ; yn / , 57
'en , 107
:
D, 6 A
Im.R/, 61, 90 Abbildung
!, 6 ordnungstreue, 75
<, 69, 79, 92, 97 abgeleitete Axiome und Regeln, 24
x y, 70 Ableitbarkeit im Sequenzenkalkl, 36
^,
VN6 abzhlbare Menge, 78
iD1 , 46 Ackermann, 95
^    ^, 6 Ackermannfunktion, 95
LR , 4, 57, 92, 100 Addition, 70, 80
 ', 17, 90 quivalenz
N, 3, 67, 101 elementare . von Strukturen, 14
:, 6 Junktor, 7
;, 59, 69, 73 von aussagenlogischen Formeln, 20
P.y/, 61, 99, 131 von Formeln, 43
n0 -Relation, 121 von Theorien, 66

147
148 Sachverzeichnis

allgemeingltige Bildbereich, 61
aussagenlogische Formel, 18 Bindungsstrke, 7
Formel, 17 Boolesche Algebra, 20
Allquantor, 7
8-Quantorenaxiome, 24 C
beschrnkter, 124 CONZFC , 83, 139
Anfangskonfiguration, 90 Cantor, 78
archimedischer Krper, 16 Satz von, 78
arithmetische Hierarchie, 121 Cantorsche Normalform, 80
arithmetische Relation, 119 CH, 79
atomare Formel, 6 charakteristische Funktion, 97
Aussage, 13 Church, 103, 125
Aussagenlogik, 18 Satz von, 125
aussagenlogische Formel, 18 Churchsche These, 103
Aussagenvariable, 18 Cobhams Theorie, 123
Aussonderungsaxiom, 59 Craig, 39
Auswahlaxiom, 66 Craigscher Interpolationssatz, 39
Auswahlfunktion, 76
Automorphismus, 9 D
Axiome des Hilbertkalkls, 23 de Morgan, 20
9-Quantorenaxiome, 19 de Morgansche Regeln, 20
abgeleitete Axiome Deduktionslemma, 137
8-Quantorenaxiome, 24 deduktiv abgeschlossene Theorie, 27
Gleichheit, 19 definierbare
Tautologie, 18 Menge, 13
Axiome von ZFC, 58 Relation, 13
Aussonderung, 59 Definitionsbereich, 61
Auswahl, 66 definitorische Erweiterung, 63, 64
Ersetzung, 62 Diagramm, 26
Extensionalitt, 57, 59 Differenzmenge, 59
Fundierung, 65 Disjunktion, 7
Paarmenge, 60 disjunktive Normalform, 21, 51
Potenzmenge, 61 Distributivgesetz, 20
Unendlichkeit, 65 Durchschnitt, 59
Vereinigung, 60
E
B effektiv axiomatisierbare Theorie, 110
Belegung, 11 Eindeutige Lesbarkeit
berechenbare Funktion, 89 von Formeln, 8
beschrnkter Allquantor, 124 von Termen, 5
Betafunktion, siehe Gdels -Funktion Einfhrung
Beth, 41 8-Einfhrung, 24
Satz von, 41 9-Einfhrung, 20
Beweis, 25, 110 neuer Funktionszeichen, 63
beweisbare Formel, 23 neuer Konstanten, 64
Beweisbarkeit, 23, 30 neuer Relationszeichen, 63
Beweisbarkeitsprdikat Einschrnkung
von ZFC, 82, 138 einer Funktion, 62
bijektive Funktion, 63 einer Struktur, 18
Sachverzeichnis 149

Einsetzung, 91 berechenbare, 89
elementare quivalenz, 14 bijektive, 63
elementare Klasse, 33 charakteristische, 97
endliche Axiomatisierbarkeit, 33 injektive, 63
endliche Menge, 78 partiell rekursive, 107
entscheidbare Theorie, 110 rekursive, 90
erblich endliche Menge, 75 surjektive, 63
erfllen, 13 Funktional, 62, 74
Ersetzungsaxiom, 62 Funktionszeichen, 4
Erster Gdelscher Unvollstndigkeitssatz, 85,
121 G
Erweiterung Gentzen, 35, 117
definitorische, 64 geordnetes Paar, 60
konservative, 63 Gleichheitsaxiome, 19
erzeugte Unterstruktur, 9 Gleichheitszeichen, 6, 32, 45
existentielle Formel, 43 gleichmchtige Mengen, 77
Existenzeinfhrung, 20 Gdel, 23
Existenzquantor, 6 1. Unvollstndigkeitssatz, 85, 121
9-Quantorenaxiome, 19, 20 2. Unvollstndigkeitssatz, 83, 139
Expansion, 18 Vollstndigkeitssatz, 23
Exponentiation, 80 Gdelisierung, 101
Extensionalittsaxiom, 57, 59 Gdelnummer, 100, 101, 109, 110
Gdels -Funktion, 114, 133
F Goodstein, 80
Fixpunktsatz Satz von, 80
Q , 127 GOTO(r,c0 ,. . . ,cL ), 89
Kleenescher, 107 Graph, 32
ZFC, 81 Graph einer Funktion, 62, 119
Fludiagramm, 92 Grundmenge, 4
1 -Formel, 124, 135 Gltigkeit, 13
allgemeingltige, 17
quivalente, 20, 43 H
atomare, 6 Halteproblem, 107
aussagenlogische, 18 Henkin, 26
beweisbare, 23, 30 Henkintheorie, 26
existentielle, 43 Herbrand, 44
im engeren Sinn, 124 Satz von, 45
L-Formel, 6 Herbrand-Normalform, 44
modallogische, 140 Hilbert, 23
quantorenfreie, 43 Hilbertkalkl, 23
universelle, 43
zweitstufige, 129, 135 I
Frnkel, 58 Implikation, 7
Zermelo-Frnkel-Mengenlehre, 58 Induktion, 74
freies Vorkommen, 12 Induktionsschema, 131
fundierte Menge, 65 injektive Funktion, 63
Fundierungsaxiom, 65 Interpolationssatz, 39
1P -Funktion, 61, 133 inverse Relation, 62
primitiv rekursive, 91 irreflexive Relation, 68
150 Sachverzeichnis

Isomorphie, 4 logische Folgerung, 30, 137


Isomorphismus, 4 logische Zeichen, 6
L-Struktur, 4
J L-Term, 5
Junktor, 6, 21
M
K Mchtigkeit, 77
Kardinalzahl, 78 maximales Element, 77
Klammern, 57 Menge
Klasse, 74 abzhlbare, 78
Klausel, 51 endliche, 78
Kleene, 103 erblich endliche, 75
Fixpunktsatz, 107 fundierte, 65
Normalform, 103 leere, 59
Prdikat, 103 transitive, 68
Krperaxiome, 7 modallogische Formel, 140
Koinzidenzsatz, 13 Modell, 13, 26
Kompaktheitssatz, 31 aus Konstanten, 28
der Aussagenlogik, 32 Modus Ponens, 19
Komprehensionsaxiom, 57 Morgan, siehe de Morgan
Konfiguration, 90 -Rekursion, 91
Kongruenzrelation, 19 Multiplikation, 70, 80
Konjunktion, 6
konjunktive Normalform, 21
N
konservative Erweiterung, 63
Nachfolgekonfiguration, 90
konsistente Theorie, 25
Konstante, 4 Nachfolger, 67, 90
konstante Funktion, 90 Nachfolgerkardinalzahl, 79
Konstantenzeichen, 4 Nachfolgeroperation, 3
konstanter Term, 29 Nachfolgerzahl, 74
Kontinuumshypothese, 79 Naive Mengenlehre, 57
Kopiermaschine, 92 natrliche Zahl, 68
Korrektheitssatz, 24 Negation, 6
Krivine, 17 Neumann, siehe von Neumann
Kuratowski, 60 nichtstandard natrliche Zahl, 71
Kuratowski-Paar, 55, 60 Normalform
disjunktive, 21, 51
L Herbrand-Normalform, 44
leere Menge, 59 konjunktive, 21
L-Formel, 6 prnexe, 43
Limeszahl, 74 Skolem-Normalform, 43
lineare Ordnung, 68
Literal, 51 O
Loeb, 82 obere Schranke, 77
Satz von, 140 Ordinalzahl, 73
Loeb-Axiome, 82, 139 Ordnung
Lschmaschine, 92 lineare, 68
Lwenheim, 31 partielle, 68
Satz von Lwenheim-Skolem, 31 ordnungstreue Abbildung, 75
Sachverzeichnis 151

P Relation, 61
P=NP, 51 primitiv rekursive, 97
Paar, siehe geordnetes Paar arithmetische, 119
Paarmenge, 60 rekursiv aufzhlbare, 105
Paarmengenaxiom, 60 rekursive, 97
partiell rekursive Funktion, 107 Relationszeichen, 4
partielle Ordnung, 68 Reprsentierung
Peanoarithmetik, 131 einer Funktion, 126
zweiter Stufe, 135 einer Relation, 127
Potenzmenge, 61 Resolutionsmethode, 52
Potenzmengenaxiom, 61 Resultante, 52
Prdikat, 4, 97 Ring-Sprache, 4
prnexe Normalform, 43 Rosser, 85
Primformel, 6 Rossersatz, 85
primitiv rekursive Russell, 58
Arithmetik, 134 Russellsche Antinomie, 58
Funktion, 91
Relation, 97 S
primitive Rekursion, 91 Schluregeln, siehe Regeln des Hilbertkalkls
Produkt, 61 Schnittregel, 40
Projektionsfunktion, 90 Schranke
PUSH(r,l), 89 obere, 77
Sequenz, 35
Q allgemeingltige, 35
Quantor, 6, 7 Sequenzenkalkl, 36
quantorenfreie Formel, 43 Shefferscher Strich, 21
Quine, 58 Skolem, 31
Normalform, 43
R Satz von Lwenheim-Skolem, 31
r. a., siehe rekursiv aufzhlbar Skolemfunktion, 44
Reduktionssatz, 107 s-m-n-Satz, 107
Regeln des Hilbertkalkls, 23 Sprache, 4
abgeleitete Regeln rekursive, 109
Aussagenlogik, 24 stark rekursive Struktur, 111
8-Einfhrung, 24 Stelligkeit, 4
Existenzeinfhrung, 20 STOP, 89
Modus Ponens, 19 Stopkonfiguration, 90
Registermaschine, 89 Struktur, 4
Rekursion stark rekursive, 111
-Rekursion, 91 Substitutionslemma, 14
primitive, 91 Supremum, 80
Rekursionssatz, 74 surjektive Funktion, 63
rekursiv
aufzhlbar, 105 T
trennbar, 121 L-Theorie, 25
rekursive Tarski, 32
Bijektion, 100 Satz ber die Wahrheitsdefinition, 82, 129,
Funktion, 90 138
Relation, 97 Tarski-Kriterium, 32
152 Sachverzeichnis

Tautologie, 18 V
Teilformel, 6 Variable, 5
Teilmenge, 59 Vereinigung, 60
Term, 5 Vereinigungsmengenaxiom, 60
konstanter, 29 Volles Komprehensionsaxiom, siehe
Theorie, 25 Komprehensionsaxiom
quivalente, 66 vollstndige Theorie, 26, 110
deduktiv abgeschlossene, 27 vollstndiges Diagramm, siehe Diagramm
effektiv axiomatisierbare, 110 Vollstndigkeitssatz, 23, 36
entscheidbare, 110 von Neumann, 75
konsistente, 25 von Neuman-Hierarchie, 75
vollstndige, 26, 110
W
widerspruchsfreie, 25
wahre LN -Theorie, 123
transitive Wahrheit, 13
Menge, 68 Wahrheitsdefinition, 82, 129, 138
Relation, 68 Wahrheitstafel, 18
Tripel, 61 Wahrheitswert, 18
Turing, 95 widerspruchsfreie Theorie, 25
Turingmaschine, 95, 103 Wohlordnung, 69
Wohlordnungssatz, 76
Wohlordnungstyp, 75
U
Wort, 89
Unendlichkeitsaxiom, 65
Unifikationssatz, 47 Z
Uniformisierungssatz, 107 Zeichenreihe, 6
universelle Zermelo, 58
rekursiv aufzhlbare Relation, 106 Zermelo-Frnkel-Mengenlehre, 58
Formel, 43 ZFC, 58
partiell rekursive Funktion, 107 Zorn, 76
Universum, 4 Zornsches Lemma, 76
unmittelbarer Nachfolger, 69 zutreffen, 12
Unterstruktur, 9 Zweiter Gdelscher Unvollstndigkeitssatz, 83,
elementare, 32 139
Unvollstndigkeitssatz, 83, 85, 121, 139 zweitstufige Formeln, 110, 129, 135