Zermelo set theory

Zermelo set theory
Name	Zermelo set theory
Introduced	1908
Founder	Ernst Zermelo
Related	Zermelo–Fraenkel set theory, Cantor set theory, Zermelo–Fraenkel–Choice

Zermelo set theory is an early axiomatic formulation of set theory introduced to resolve paradoxes arising in naive set theory and to formalize the notion of sets used across mathematics. It was proposed by Ernst Zermelo during debates about paradoxes that involved figures such as Georg Cantor and Bertrand Russell and influenced later work by Abraham Fraenkel and John von Neumann. The theory provided a finite list of axioms aimed at underpinning analysis, topology, and algebra in the emerging 20th century mathematical landscape centered in institutions like the University of Göttingen and the University of Berlin.

History

Zermelo proposed his axioms following controversies tied to Georg Cantor and the discovery of paradoxes by Bertrand Russell and Gottlob Frege, which also engaged David Hilbert and Felix Klein at conferences in Göttingen and Zürich. The 1908 publication responded to discussions involving Richard Dedekind and Henri Poincaré and was contemporaneous with work by Giuseppe Peano and Émile Borel that reshaped foundations addressed at the International Congresses of Mathematicians. Subsequent reactions came from Abraham Fraenkel and Thoralf Skolem and led to extensions during exchanges involving John von Neumann and Kurt Gödel at the Institute for Advanced Study and Princeton University. Debates in journals and seminars linked to the Royal Society, the Académie des Sciences, and the American Mathematical Society further shaped the reception and refinement of the proposal.

Axioms

Zermelo's axioms were formulated to avoid paradoxes identified by Bertrand Russell, Gottlob Frege, and Ernst Zermelo's contemporaries and included axioms influenced by Georg Cantor's work on cardinality and Richard Dedekind's ideas on infinity. The axioms comprise Extensionality (echoing Cantor and Dedekind), Elementary Sets and Pairing (used in constructions akin to Giuseppe Peano's arithmetic), Union and Power Set (tools crucial to analysis in the tradition of Henri Lebesgue and Felix Hausdorff), Separation schema restricted to definable subclasses (a response to Russell and Gottlob Frege), Infinity (motivated by Dedekind and Richard Dedekind's notions), and the Axiom of Choice introduced by Zermelo to address problems raised by David Hilbert and Ernst Zermelo himself. Choice became central in applications linked to Lev Pontryagin, John von Neumann, and Alfréd Rényi. Replacement and Foundation were not part of the original axioms, a situation later addressed by Abraham Fraenkel and Thoralf Skolem in subsequent formulations.

Models and Consistency

Model-theoretic and proof-theoretic analysis of Zermelo's system invoked techniques developed by Kurt Gödel, Paul Cohen, and Alfred Tarski in contexts including the Gödel constructible universe and forcing arguments from Cambridge and Princeton circles. Gödel's work on relative consistency connected to the constructible hierarchy L and to investigations by John von Neumann, while Cohen's forcing method later demonstrated independence results relevant to the Axiom of Choice and Continuum Hypothesis debated by Georg Cantor, Felix Hausdorff, and Wacław Sierpiński. Consistency considerations referenced results from Hilbert's program, influenced by David Hilbert, Hermann Weyl, and the debates culminating at institutions like the University of Göttingen and the Collège de France. Relative consistency proofs often cite techniques resembling those used by Alfred Tarski and Solomon Lefschetz in algebraic contexts.

Comparison with Zermelo–Fraenkel set theory

Compared with later work by Abraham Fraenkel and Thoralf Skolem, the original Zermelo axioms lack the Replacement axiom introduced to support constructions used by Emmy Noether, Nicolas Bourbaki, and Saunders Mac Lane in algebra and category theory. Zermelo–Fraenkel set theory (ZF) augmented Zermelo's system and was developed through interactions involving John von Neumann and Paul Bernays, paralleling developments in logic by Alonzo Church and Alan Turing. The presence or absence of Foundation, Replacement, and stronger forms of Separation distinguishes Zermelo from Zermelo–Fraenkel, affecting results studied by Kurt Gödel, Paul Cohen, and René Descartes' historical influence on formalism debated at the Collège de France and the Royal Society. The role of the Axiom of Choice in Zermelo versus its treatment in Zermelo–Fraenkel (ZF vs ZFC) remained central to disputes involving Lev Pontryagin, L. E. J. Brouwer, and John von Neumann.

Applications and consequences

Zermelo's axioms supported rigorous formulations of real analysis and topology as pursued by Henri Lebesgue, Felix Hausdorff, and Nicolas Bourbaki, and underpinned constructions in algebra used by Emmy Noether, David Hilbert, and Emil Artin. The Axiom of Choice enabled results in functional analysis linked to Stefan Banach and Marshall Stone and influenced measure theory in work by Henri Lebesgue and Norbert Wiener. Consequences for cardinal arithmetic traced back to Georg Cantor and impacted combinatorial set theory developed later by Paul Erdős, Richard Rado, and Wacław Sierpiński. Philosophical and foundational implications resonated with debates involving Bertrand Russell, Ludwig Wittgenstein, and Hilary Putnam concerning formalism, logicism, and intuitionism debated at Cambridge, Harvard University, and the University of Vienna.

Variants and extensions

Extensions and variants emerged from contributions by Abraham Fraenkel, Thoralf Skolem, John von Neumann, Paul Bernays, and Kurt Gödel, giving rise to Zermelo–Fraenkel (ZF), ZF with Choice (ZFC), von Neumann–Bernays–Gödel (NBG) set theory, and alternatives like Morse–Kelley set theory influenced by Saunders Mac Lane, Nicolas Bourbaki, and category-theoretic perspectives from Samuel Eilenberg. Later work by Paul Cohen, Kenneth Kunen, and Dana Scott produced independence and large cardinal investigations tied to the Continuum Hypothesis and contributions by Hugh Woodin, William Easton, and Saharon Shelah. The development of class theories and axioms such as Replacement, Foundation, and Global Choice connected to programs at the Institute for Advanced Study, Princeton University, and the University of Göttingen involving figures like John von Neumann and Kurt Gödel.

Category:Set theory