8.3 The consistency proof -- 8.4 Applications of the consistency proof -- 8.5 Second-order arithmetic -- Problems -- Chapter 9: Set Theory -- 9.1 Axioms for sets -- 9.2 Development of set theory -- 9.3 Ordinals -- 9.4 Cardinals -- 9.5 Interpretations of set theory -- 9.6 Constructible sets -- 9.7 The axiom of constructibility -- 9.8 Forcing -- 9.9 The independence proofs -- 9.10 Large cardinals -- Problems -- Appendix The Word Problem -- Index.

§ 1. Prolegomena 1. Die Logik, die in diesem Lehrbuch entwickelt wird, ist bestimmt durch die folgenden Kennzeichen: (1) Sie fuBt auf derselben Ontologie wie die von erkennbaren Wider­ sprlichen befreite und in diesem Sinne vertretbare klassische Mathe­ matik. Flir diese Ontologie ist charakteristisch die Grundvoraussetzung, daB die Objekte der Mathematik und mit ihnen die mathematischen Bereiche an sich existieren, wie die platonischen Ideen. Mit Bezug auf diesen An-sich-Charakter sprechen wir von einer platonischen Ontologie. Flir diese Ontologie existieren die unendlichen (...) Bereiche beliebig hoher Machtigkeit als fertig vorliegende Objekte in derselben Art wie die durch Aufzahlung ihrer Elemente erfaBbaren endlichen Mengen und in gleichem Range mit ihnen. Die weittragenden Folgen dieser Auffassung sind in zwei Haupt­ punkten konzentriert. Erster Hauptpunkt: die Beurteilung der Potenz­ mengen. Mit den abzahlbaren Mengen existieren, genauso wie im end­ lichen Falle, auch ihre Potenzmengen, mit dem ihnen zukommenden Charakter der Uberabziihlbarkeit. Das Uberabzahlbare steht also gleich­ berechtigt neben dem Abzahlbaren. Zweiter Hauptpunkt: der flir den Platonismus charakteristische Gehalt des ausgeschlossenen Dritten. Es genligt hier, die mengentheoretische Formulierung dieses Prinzips ins Auge zu fassen. Sie besagt, daB eine flir die Elemente einer beliebigen Menge, also mit EinschlieBung der unendlichen Mengen von einer be­ liebigen Machtigkeit erklarte Eigenschaft allen Elementen der Menge zukommt oder es gibt (wenigstens) ein Mengenelement, dem sie nicht zukommt, unabhangig davon, ob ein solches Element angegeben werden kann oder nicht. Ein Anwendungsfall ist das der elementaren Zahlen­ theorie angeh6rige Prinzip der kleinsten Zahl. (shrink)

Although symbolic logic has grown considerably in the subsequent decades, this book remains a classic.

This comprehensive monograph is a cornerstone in the area of mathematical logic and related fields. Focusing on Gentzen-type proof theory, the book presents a detailed overview of creative works by the author and other 20th-century logicians that includes applications of proof theory to logic as well as other areas of mathematics. 1975 edition.