Skip to main content
SpringerLink
Log in

The Axioms of Zermelo–Fraenkel Set Theory

  • Chapter
Combinatorial Set Theory

Part of the book series: Springer Monographs in Mathematics ((SMM))

  • 2794 Accesses

Abstract

In the middle and late 19th century, members of the then small mathematical community began to look for a rigorous foundation of Mathematics. In accordance with the Euclidean model for reason, the ideal foundation consists of a few simple, clear principles, so-called axioms, on which the rest of knowledge can be built via firm and reliable thoughts free of contradictions. However, at the time it was not clear what assumptions should be made and what operations should be allowed in mathematical reasoning.

After a short introduction to First-Order Logic, we shall introduce and discuss in this chapter the axioms of Zermelo–Fraenkel Set Theory.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 119.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book
USD 159.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Aristotle: Organon. Athens. Published by Andronikos of Rhodos around 40 b.c.

    Google Scholar 

  2. Aristotle: Topics. Athens. Published by Andronikos of Rhodos around 40 b.c.

    Google Scholar 

  3. Aristotle: Physics. Athens. Published by Andronikos of Rhodos around 40 b.c.

    Google Scholar 

  4. Heinz Bachmann: Transfinite Zahlen. Springer, Berlin (1967)

    Book  MATH  Google Scholar 

  5. Karel Berka, Lothar Kreiser: Logik-Texte. Kommentierte Auswahl zur Geschichte der modernen Logik. Akademie-Verlag, Berlin (1971)

    Google Scholar 

  6. Paul Bernays: Erwiderung auf die Note von Herrn Aloys Müller: Über Zahlen als Zeichen. Math. Ann. 90, 159–163 (1923)

    Article  MathSciNet  Google Scholar 

  7. Paul Bernays: Die Philosophie der Mathematik und die Hilbertsche Beweistheorie. Blätter dtsc. Philos. 4, 326–367 (1930) (also published in [9])

    Google Scholar 

  8. Paul Bernays: Axiomatic Set Theory. With a Historical Introduction by Abraham A. Fraenkel, 2nd edn. Studies in Logic and the Foundations of Mathematics. North-Holland, Amsterdam (1968) [reprint: Dover, New York (1991)]

    Google Scholar 

  9. Paul Bernays: Abhandlungen zur Philosophie der Mathematik. Wissenschaftliche Buchgesellschaft, Darmstadt (1976)

    MATH  Google Scholar 

  10. Joseph M. Bocheński: A History of Formal Logic, 2nd edn. [translated and edited by Ivo Thomas]. Chelsea, New York (1970)

    MATH  Google Scholar 

  11. Joseph M. Bocheński: Formale Logik, 4th edn. Orbis Academicus: Problemgeschichten der Wissenschaft in Dokumenten und Darstellungen. Verlag Karl Alber, Freiburg (1978) (see [10] for a translation into English)

    Google Scholar 

  12. Bernard Bolzano: Paradoxien des Unendlichen. Hrsg. aus dem schriftlichen Nachlasse des Verfassers von Fr. Přihonský. C. H. Reclam Sen., Leipzig (1851)

    Google Scholar 

  13. Bernard Bolzano: Paradoxes of the Infinite [translated by D.A. Steele]. Routledge and Kegan Paul, London (1950)

    MATH  Google Scholar 

  14. George Boole: The calculus of logic. The Cambridge and Dublin Math. J. 3, 183–198 (1848)

    Google Scholar 

  15. George Boole: An Investigation of the Laws of Thought, on Which Are Founded the Mathematical Theories of Logic and Probabilities. Walton and Maberley, London (1854) [reprint: Prometheus Books, New York (2003)]

    Google Scholar 

  16. Émile Borel: Leçons sur la Théorie des Fonctions. Gauthier–Villars et Fils, Paris (1898)

    MATH  Google Scholar 

  17. Georg Cantor: Zwei Sätze über eine gewisse Zerlegung der Zahlen in unendliche Produkte. Z. Math. Phys. 14, 152–158 (1869)

    MATH  Google Scholar 

  18. Georg Cantor: Über eine Eigenschaft des Inbegriffs aller reellen algebraischen Zahlen. J. reine angew. Math. (Crelle) 77, 258–262 (1874)

    Google Scholar 

  19. Georg Cantor: Mitteilungen zur Lehre vom Transfiniten. I. & II. Z. Philosophie und philosophische Kritik 91/92, 81–125 (1887/1888), 240–265

    Google Scholar 

  20. Georg Cantor: Über eine elementare Frage der Mannigfaltigkeitslehre. Jahresber. Dtsch. Math.-Ver. 1, 75–78 (1891)

    Google Scholar 

  21. Georg Cantor: Beiträge zur Begründung der transfiniten Mengenlehre. I./II. Math. Ann. 46/49, 481–512 (1895/1897), 207–246 (see [22] for a translation into English)

    Google Scholar 

  22. Georg Cantor: Contributions to the Founding of the Theory of Transfinite Numbers (translation into English of [21]) [translated, and provided with an introduction and notes, by Philip E.B. Jourdain]. Open Court Publishing Company, Chicago (1915) [reprint: Dover, New York (1952)]

    Google Scholar 

  23. Georg Cantor: Gesammelte Abhandlungen mathematischen und philosophischen Inhalts, Mit Erläuternden Anmerkungen sowie mit Ergänzungen aus dem Briefwechsel Cantor–Dedekind, edited by E. Zermelo. Julius Springer, Berlin (1932)

    Google Scholar 

  24. Richard Dedekind: Was sind und was sollen die Zahlen. Friedrich Vieweg, Braunschweig (1888) (see also [25, pp. 335–390])

    Google Scholar 

  25. Richard Dedekind: Gesammelte mathematische Werke III, edited by R. Fricke, E. Noether, Ö. Ore. Vieweg, Braunschweig (1932)

    Google Scholar 

  26. Vilnis Detlovs: Matemātiskā Logika. Izdevniecība “Zvaigzne”, Riga (1974)

    Google Scholar 

  27. Apostolos Doxiadis, Christos H. Papadimitriou: Logicomix: An Epic Search for Truth (a graphic novel with art by Alecos Papadatos and Annie di Donna). Bloomsbury, New York (2009)

    MATH  Google Scholar 

  28. Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas: Mathematical Logic, 2nd edn. (English translation of [29]). Undergraduate Texts in Mathematics. Springer, New York (1994)

    MATH  Google Scholar 

  29. Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas: Einführung in die mathematische Logik, 4th edn. Spektrum Akademischer Verlag, Heidelberg (1996)

    MATH  Google Scholar 

  30. Heinz-Dieter Ebbinghaus (in cooperation with Volker Peckhaus): Ernst Zermelo, An Approach to His Life and Work. Springer, Berlin (2007)

    MATH  Google Scholar 

  31. Euclid: Elements. Alexandria. Written around 300 b.c.

    Google Scholar 

  32. Leonhard Euler: Introductio in Analysin Infinitorum (tomus Primus). Marcum-Michaelem Bousquet & Socios, Lausanne (1748) (see [34]/[33] for a translation into English/German)

    Google Scholar 

  33. Leonhard Euler: Einleitung in die Analysis des Unendlichen [translated by H. Maser]. Julius Springer, Berlin (1885) [reprint with an introduction by W. Walter: Springer, Berlin (1983)]

    Google Scholar 

  34. Leonhard Euler: Introduction to Analysis of the Infinite [translated by John D. Blanton]. Springer, Berlin (1988)

    Book  Google Scholar 

  35. Anita Burdman Feferman: From Trotsky to Gödel: The Life of Jean Van Heijenoort. AK Peters, Natick (1993)

    Google Scholar 

  36. Abraham A. Fraenkel, Yehoshua Bar-Hillel, Azriel Levy: Foundations of Set Theory. Studies in Logic and the Foundations of Mathematics, vol. 67. North-Holland, Amsterdam (1973)

    MATH  Google Scholar 

  37. Adolf Fraenkel: Axiomatische Begründung der transfiniten Kardinalzahlen. I. Math. Z. 13, 153–188 (1922)

    Article  MathSciNet  MATH  Google Scholar 

  38. Adolf Fraenkel: Zu den Grundlagen der Cantor–Zermeloschen Mengenlehre. Math. Ann. 86, 230–237 (1922)

    Article  MathSciNet  MATH  Google Scholar 

  39. Adolf Fraenkel: Axiomatische Theorie der geordneten Mengen (Untersuchungen über die Grundlagen der Mengenlehre. II.). J. reine angew. Math. (Crelle) 155, 129–158 (1926)

    Google Scholar 

  40. Adolf Fraenkel: Zusatz zu vorstehendem Aufsatz Herrn v. Neumanns (refers to [87]). Math. Ann. 99, 392–393 (1928)

    Article  MathSciNet  MATH  Google Scholar 

  41. Adolf Fraenkel: Das Leben Georg Cantors. In: Gesammelte Abhandlungen mathematischen und philosophischen Inhalts, E. Zermelo (ed.), pp. 452–483. Julius Springer, Berlin (1932)

    Google Scholar 

  42. Gottlob Frege: Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. L. Nebert, Halle (1879) (see [109] for a translation into English)

    Google Scholar 

  43. Gottlob Frege: Die Grundlagen der Arithmetik, eine logisch-mathematische Untersuchung über den Begriff der Zahl. Verlag von Wilhelm Koebner, Breslau (1884) [English translation (with German original): The Foundations of Arithmetic. A Logo-mathematical Enquiry into the Concept of Number, translated by J.L. Austin. Blackwell, Oxford, 1950]

    Google Scholar 

  44. Gottlob Frege: The concept of number (translation into English of parts of [43]). In: Philosophy of Mathematics. Selected Readings, 2nd edn., Paul Benacerraf, Hilary Putnam (eds.), pp. 130–159. Cambridge University Press, Cambridge (1983)

    Google Scholar 

  45. Galileo Galilei: Discorsi e Dimonstrazioni Matematiche, intorno à due nuove scienze attenenti alle Mecanica & i Moviemnti Locali. Elzevirs, Leyden (1638) [English translation: Two New Sciences. Including Centers of Gravity and Force of Percussion, translated by S. Drake. University of Wisconsin Press, Madison (1974); German translation: Unterredungen und mathematische Demonstrationen über zwei neue Wissenszweige, die Mechanik und die Fallgesetze betreffend, translated and edited by A.J. von Oettingen. Verlag Harri Deutsch, Frankfurt/M. (2004)]

    Google Scholar 

  46. Kurt Gödel: Über die Vollständigkeit des Logikkalküls. Dissertation, University of Vienna (Austria) (1929) (reprinted and translated into English in [50])

    Google Scholar 

  47. Kurt Gödel: Die Vollständigkeit der Axiome des logischen Funktionenkalküls. Monatshefte Math. Phys. 37, 349–360 (1930) (see [109, 50] for a translation into English)

    Article  MATH  Google Scholar 

  48. Kurt Gödel: Einige metamathematische Resultate über Entscheidungsdefinitheit und Widerspruchsfreiheit. Anzeiger Akad. Wiss. in Wien, math.-nat. Klasse 67, 214–215 (1930) (see [109, 50] for a translation into English)

    MATH  Google Scholar 

  49. Kurt Gödel: Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme. Monatshefte Math. Phys. 38, 173–198 (1931) (see [109, 50] for a translation into English)

    Google Scholar 

  50. Kurt Gödel: Collected Works, Volume I: Publications 1929–1936, edited by S. Feferman (Editor-in-chief), J.W. Dawson Jr., S.C. Kleene, G.H. Moore, R.M. Solovay, J. van Heijenoort. Oxford University Press, New York (1986)

    Google Scholar 

  51. Rebecca Goldstein: Incompleteness—The Proof and Paradox of Kurt Gödel. Great Discoveries. Atlas Books/W.W. Norton & Company, New York (2005) (see [52] for a translation into German)

    MATH  Google Scholar 

  52. Rebecca Goldstein: Kurt Gödel, Jahrhundertmathematiker und großer Entdecker [translated into German by Thorsten Schmidt]. Piper, München (2006)

    MATH  Google Scholar 

  53. Martin Goldstern, Haim Judah: The Incompleteness Phenomenon. A New Course in Mathematical Logic. AK Peters, Wellesley (1995)

    MATH  Google Scholar 

  54. Hermann Grassmann: Lehrbuch der Arithmetik für höhere Lehranstalten. Th. Chr. Fr. Enslin, Berlin (1861)

    Google Scholar 

  55. Ivor Grattan-Guinness: How Bertrand Russell discovered his paradox. Hist. Math. 5, 127–137 (1978)

    Article  MathSciNet  MATH  Google Scholar 

  56. Friedrich Hartogs: Über das Problem der Wohlordnung. Math. Ann. 76, 438–443 (1915)

    Article  MathSciNet  MATH  Google Scholar 

  57. Felix Hausdorff: Grundzüge der Mengenlehre. De Gruyter, Leipzig (1914) [reprint: Chelsea, New York (1965)]

    MATH  Google Scholar 

  58. Leon Henkin: The completeness of the first-order functional calculus. J. Symb. Log. 14, 159–166 (1949)

    Article  MathSciNet  MATH  Google Scholar 

  59. Leon Henkin: The discovery of my completeness proofs. Bull. Symb. Log. 2, 127–158 (1996)

    Article  MathSciNet  MATH  Google Scholar 

  60. Hans Hermes: Einführung in die mathematische Logik. Klassische Prädikatenlogik. Mathematische Leitfäden. Teubner, Stuttgart (1963)

    MATH  Google Scholar 

  61. David Hilbert: Neubegründung der Mathematik. Erste Mitteilung. Abh. math. Sem. Hamb. Univ. 1, 157–177 (1922)

    Article  MathSciNet  MATH  Google Scholar 

  62. David Hilbert: Die logischen Grundlagen der Mathematik. Math. Ann. 88, 151–165 (1923)

    Article  MathSciNet  Google Scholar 

  63. David Hilbert: Über das Unendliche. Math. Ann. 95, 161–190 (1925) (see [65] or [24] for a translation into English)

    Article  MathSciNet  MATH  Google Scholar 

  64. David Hilbert: Die Grundlagen der Mathematik. Vortrag, gehalten auf Einladung des Mathematischen Seminars im Juli 1927 in Hamburg. Abh. math. Sem. Hamb. Univ. 6, 65–85 (1928) (see [109] for a translation into English)

    Article  MathSciNet  MATH  Google Scholar 

  65. David Hilbert: On the infinite. In: Philosophy of Mathematics. Selected Readings, 2nd edn., Paul Benacerraf, Hilary Putnam (eds.), pp. 183–201. Cambridge University Press, Cambridge (1983)

    Google Scholar 

  66. David Hilbert, Wilhelm Ackermann: Grundzüge der theoretischen Logik. Die Grundlehren der mathematischen Wissenschaften, vol. 27. Julius Springer, Berlin (1928) (6. Auflage, 1972)

    MATH  Google Scholar 

  67. Philip E.B. Jourdain: The development of the theories of mathematical logic and the principles of mathematics. Q. J. Pure Appl. Math. 43, 219–314 (1912)

    MATH  Google Scholar 

  68. Akihiro Kanamori: The mathematical development of set theory from Cantor to Cohen. Bull. Symb. Log. 2, 1–71 (1996)

    Article  MathSciNet  MATH  Google Scholar 

  69. Akihiro Kanamori: The empty set, the singleton, and the ordered pair. Bull. Symb. Log. 9, 273–298 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  70. Akihiro Kanamori: Zermelo and set theory. Bull. Symb. Log. 10, 487–553 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  71. Richard Kaye: Models of Peano Arithmetic. Oxford Logic Guides, vol. 15. Clarendon/Oxford University Press, New York (1991)

    MATH  Google Scholar 

  72. Stephen Cole Kleene: Introduction to Metamathematics. Bibliotheca Mathematica. A Series of Monographs on Pure and Applied Mathematics, vol. I. North-Holland, Amsterdam (1959)

    MATH  Google Scholar 

  73. Alwin Korselt: Über einen Beweis des Äquvialenzsatzes. Math. Ann. 70, 294–296 (1911)

    Article  MathSciNet  MATH  Google Scholar 

  74. Casimir Kuratowski: Sur la notion de l’ordre dans la théorie des ensembles. Fundam. Math. 2, 161–171 (1921)

    Google Scholar 

  75. Azriel Lévy: The independence of various definitions of finiteness. Fundam. Math. 46, 1–13 (1958)

    MATH  Google Scholar 

  76. Adolf Lindenbaum, Alfred Tarski: Communication sur les recherches de la théorie des ensembles. C. R. Séances Soc. Sci. et des Lettres de Varsovie, Classe III 19, 299–330 (1926)

    MATH  Google Scholar 

  77. Leopold Löwenheim: Über Möglichkeiten im Relativkalkül. Math. Ann. 76, 447–470 (1915)

    Article  MathSciNet  Google Scholar 

  78. Paolo Mancosu: Measuring the size of infinite collections of natural numbers: was Cantor’s theory of infinite number inevitable? Rev. Symb. Log. 4, 612–646 (2009)

    Article  MathSciNet  Google Scholar 

  79. Elliott Mendelson: The axiom of fundierung and the axiom of choice. Arch. math. Log. Grundl.forsch. 4, 67–70 (1958)

    MathSciNet  Google Scholar 

  80. Dimitry Mirimanoff: Remarques sur la théorie des ensembles et les antinomies cantoriennes. I. Enseign. Math. 19, 209–217 (1917)

    MATH  Google Scholar 

  81. Dimitry Mirimanoff: Remarques sur la théorie des ensembles et les antinomies cantoriennes. II. Enseign. Math. 21, 29–52 (1920)

    MATH  Google Scholar 

  82. Andrzej Mostowski: Sentences Undecidable in Formalized Arithmetic. An Exposition of the Theory of Kurt Gödel. Studies in Logic and the Foundations of Mathematics. North-Holland, Amsterdam (1952)

    MATH  Google Scholar 

  83. Aloys Müller: Über Zahlen als Zeichen. Math. Ann. 90, 153–158 (1923)

    Article  MathSciNet  MATH  Google Scholar 

  84. John von Neumann: Zur Einführung der transfiniten Zahlen. Acta Litterarum ac Scientiarum Regiae Universitatis Hungaricae Francisco-Josephinae. Sectio Scientiarum Mathematicarum 1, 199–208 (1923) (see [109] for a translation into English)

    MATH  Google Scholar 

  85. John von Neumann: Eine Axiomatisierung der Mengenlehre. J. Reine Angew. Math. 154, 219–240 (1925) (see [109] for a translation into English)

    MATH  Google Scholar 

  86. John von Neumann: Die Axiomatisierung der Mengenlehre. Math. Z. 27, 669–752 (1928)

    Article  MathSciNet  MATH  Google Scholar 

  87. John von Neumann: Über die Definition durch transfinite Induktion und verwandte Fragen der allgemeinen Mengenlehre. Math. Ann. 99, 373–391 (1928)

    Article  MathSciNet  MATH  Google Scholar 

  88. John von Neumann: Über eine Widerspruchfreiheitsfrage in der axiomatischen Mengenlehre. J. Reine Angew. Math. 160, 227–241 (1929)

    MATH  Google Scholar 

  89. Giuseppe Peano: Arithmetices principia, nova methoda exposita. Fratres Bocca, Torino (1889) (see [109] for a translation into English)

    MATH  Google Scholar 

  90. Giuseppe Peano: Super theorema de Cantor–Bernstein. Rend. Circ. Mat. Palermo 21, 360–366 (1906)

    Article  MATH  Google Scholar 

  91. Charles S. Peirce: On the algebra of logic. Am. J. Math. 7, 180–202 (1885)

    Article  MathSciNet  MATH  Google Scholar 

  92. Oskar Perron: Irrationalzahlen, 2nd edn. Chelsea, New York (1951)

    Google Scholar 

  93. Plato: Politeia. Athens. Book I written around 390 b.c., Books II–X written around 375 b.c.

    Google Scholar 

  94. Plato: Parmenides. Athens. Written around 370 b.c.

    Google Scholar 

  95. Hilary Putnam: Nonstandard models and Kripke’s proof of the Gödel theorem. Notre Dame J. Form. Log. 41, 53–58 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  96. Bernhard Rang, Wolfgang Thomas: Zermelo’s discovery of the “Russell paradox”. Hist. Math. 8, 15–22 (1981)

    Article  MathSciNet  MATH  Google Scholar 

  97. Bertrand Russell: On finite and infinite cardinal numbers (Section III of Whitehead [112]). Am. J. Math. 24, 378–383 (1902)

    Google Scholar 

  98. Bertrand Russell: Mathematical logic as based on the theory of types. Am. J. Math. 30, 222–262 (1908) (also published in [109])

    Article  MATH  Google Scholar 

  99. Bertrand Russell: Introduction to Mathematical Philosophy, 2nd edn. Allen & Unwin, London (1920) (see [100] for a translation into German)

    Google Scholar 

  100. Bertrand Russell: Einführung in die mathematische Philosophie [translated into German by E.J. Gumbel and W. Gordon]. Drei Masken Verlag, München (1923)

    Google Scholar 

  101. Bertrand Russell: The Principles of Mathematics, 2nd edn. Allen & Unwin, London (1937)

    MATH  Google Scholar 

  102. Arthur M. Schoenflies: Die Entwickelung der Lehre von den Punktmannigfaltigkeiten. Jahresber. Dtsch. Math.-Ver. 8(2), 1–250 (1900)

    MATH  Google Scholar 

  103. Ernst Schröder: Über zwei Definitionen der Endlichkeit und G. Cantor’sche Sätze. Nova Acta, Abh. Kais. Leopoldinisch-Carolinisch Deutsch. Akad. Naturforscher 71, 301–362 (1898)

    Google Scholar 

  104. Thoralf Skolem: Einige Bemerkungen zur axiomatischen Begründung der Mengenlehre, Matematikerkongressen i Helsingfors den 4–7 Juli 1922, Den femte skandinaviska matematikerkongressen (Helsingfors), Akademiska Bokhandeln (1923), pp. 217–232 (see [109] for a translation into English)

    Google Scholar 

  105. Thoralf Skolem: Selected Works in Logic. Universitetsforlaget, Oslo (1970)

    MATH  Google Scholar 

  106. Ladislav Spišiak, Peter Vojtáš: Dependences between definitions of finiteness. Czechoslov. Math. J. 38 (113), 389–397 (1988)

    Google Scholar 

  107. Fabian Stedman: Campanalogia: or the Art of Ringing Improved. Godbid, London (1677) [reprint: Christopher Groome (1990)]

    Google Scholar 

  108. Alfred Tarski: Sur les principes de l’arithmétique des nombres ordinaux (transfinis). Ann. Soc. Pol. Math. 3, 148–149 (1925)

    MATH  Google Scholar 

  109. Jean van Heijenoort: From Frege to Gödel. A Source Book in Mathematical Logic, 1879–1931. Source Books in the History of Science. Harvard University Press, Cambridge (1967)

    MATH  Google Scholar 

  110. Jan von Plato: In the shadows of the Löwenheim–Skolem theorem: Early combinatorial analyses of mathematical proofs. Bull. Symb. Log. 13, 189–225 (2007)

    Article  MATH  Google Scholar 

  111. Hao Wang: The axiomatization of arithmetic. J. Symb. Log. 22, 145–158 (1957)

    Article  MATH  Google Scholar 

  112. Alfred North Whitehead: On cardinal numbers. Am. J. Math. 24, 367–394 (1902)

    Article  MathSciNet  MATH  Google Scholar 

  113. Alfred North Whitehead, Bertrand Russell: Principia Mathematica, Vol. I–III. Cambridge University Press, Cambridge (1910–1913)

    Google Scholar 

  114. Ernst Zermelo: Bericht an die Notgemeinschaft der deutschen Wissenschaft über meine Forschungen betreffend die Grundlagen der Mathematik. Typescript, 5 pp., with appendices, 2 pp., dated 3 December 1930, Universitätsarchiv Freiburg, Zermelo Nachlass, part of C 129/140 (see [117] for a translation into English)

    Google Scholar 

  115. Ernst Zermelo: Neuer Beweis für die Möglichkeit einer Wohlordnung. Math. Ann. 65, 107–128 (1908) (see [109, 117] for a translation into English)

    Article  MATH  Google Scholar 

  116. Ernst Zermelo: Über Grenzzahlen und Mengenbereiche. Neue Untersuchungen über die Grundlagen der Mengelehre. Fundam. Math. 16, 29–47 (1930) (see [117] for a translation into English)

    MATH  Google Scholar 

  117. Ernst Zermelo: Collected Works/Gesammelte Werke, Volume I: Set Theory, Miscellanea/Band I: Mengenlehre, Varia, edited by Heinz-Dieter Ebbinghaus, Craig G. Fraser, Akihiro Kanamori. Schriften der Mathematisch-naturwissenschaftlichen Klasse der Heidelberger Akademie der Wissenschaften, vol. 21 (2010). Springer, Berlin (2010)

    Chapter  Google Scholar 

  118. Ernst Zermelo: Untersuchungen über die Grundlagen der Mengenlehre. I. Math. Ann. 65, 261–281 (1908) (see [109, 117] for a translation into English)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Mathematik, Universität Zürich, Zürich, Switzerland

    Lorenz J. Halbeisen

Authors
  1. Lorenz J. Halbeisen
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Lorenz J. Halbeisen .

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag London Limited

About this chapter

Cite this chapter

Halbeisen, L.J. (2012). The Axioms of Zermelo–Fraenkel Set Theory. In: Combinatorial Set Theory. Springer Monographs in Mathematics. Springer, London. https://doi.org/10.1007/978-1-4471-2173-2_3

Download citation

Publish with us

Policies and ethics

Search

Navigation