×
Ackermann, Wilhelm

Die Widerspruchsfreiheit der allgemeinen Mengenlehre. (German) Zbl 0016.19501

Math. Ann. 114, 305-315 (1937).
Reviewer: Gerhard Gentzen (Göttingen)
Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page
scan of Zbl 0016.19501

Cited in 1 Review
Cited in 22 Documents

MSC:

03Exx Set theory

Keywords:

general set theory; consistency; Zermelo-Fraenkel axioms

Citations:

Zbl 0014.38801
Cite Review PDF
Full Text: DOI EuDML

References:

[1] Vgl. A. Fraenkel, Einleitung in die Mengenlehre, 3. Auflage, S. 305.
[2] Vgl. G. Gentzen, Die Widerspruchsfreiheit der reinen Zahlentheorie, Math. Annalen112, (1936), S. 493–565. · Zbl 0014.38801 · doi:10.1007/BF01565428
[3] Math. Annalen65 (1908), S. 261–281.
[4] Auf die Tatsache, daß bei Anwendung des engeren Prädikatenkalküls das Axiom der Aussonderung einen präzisen Sinn bekommt, hat zuerst Th. Skolem hingewiesen, vgl. Fund. Math.15 (1930), S. 337–341.
[5] Vgl. Hilbert-Bernays, Grundlagen der Mathematik, wo die verschiedensten Systeme angegeben werden, oder auch die in Anmerkung 3) Vgl.. erwähnte Arbeit von G. Gentzen. · Zbl 0014.38801 · doi:10.1007/BF01565428
[6] Vgl. hierüber Hilbert-Bernays, op. cit. Grundlagen der Mathematik, wo die verschiedensten Systeme angegeben werden, oder auch die in Anmerkung 3) Vgl.. erwähnte Arbeit von G. Gentzen. · Zbl 0014.38801 · doi:10.1007/BF01565428
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.