×

Paul Bernays und die Begründung der Mengenlehre. (German) Zbl 0088.24404

Aus der Einleitung: Wenn von Bernays in Verbindung mit der Begründung der Mengenlehre die Rede ist, so denkt man natürlich zunächst, und mit Recht, an die monumentale Serie von sieben Aufsätzen, die im Journal of Symbolic Logic unter dem Titel “A system of axiomatic set theory” von 1937 bis 1954 erschienen ist [I: Zbl 0019.29403; JFM 63.0028.01; II: Zbl 0026.20502; JFM 67.0155.04; III: Zbl 0061.09201; IV: Zbl 0063.00327; V: Zbl 0063.00328]. In der Tat ist dies die umfassendste überhaupt existierende Untersuchung zum Gegenstand der axiomatischen Mengenlehre. Überdies diente sie, mit relativ geringfügigen Modifikationen, als Basis einerseits für Gödels entscheidenden Beitrag von 1940 zum Kontinuumproblem, andererseits für wichtige Unabhängigkeitsuntersuchungen von Mostowski und anderen Forschern.
Hier soll nicht vom Inhalt der Aufsatzserie die Rede sein, sondern nur versucht werden, ihre Rolle im Rahmen der Geschichte der Axiomatisierung der Mengenlehre zu analysieren.

MSC:

01A70 Biographies, obituaries, personalia, bibliographies
03-03 History of mathematical logic and foundations

Keywords:

history

Biographic References:

Bernays, Paul
PDFBibTeX XMLCite
Full Text: DOI