**Zermelo set theory**, as set out in an important paper in 1908 by Ernst Zermelo, is the ancestor of modern set theory. It bears certain differences to its descendants, which are not always understood, and are frequently misquoted. This article sets out the original axioms, with the original text (translated into English) and original numbering.

Table of contents |

2 Connection with standard set theory 3 The aim of Zermelo's paper 4 The axiom of separation 5 Cantor's Theorem |

## The Axioms of Zermelo Set Theory

- AXIOM I. Axiom of extensionality (
*Axiom der Bestimmtheit*) "If every element of a set M is also an element of N and vice versa ... then M = N. Briefly, every set is determined by its elements". - AXIOM II. Axiom of elementary sets (
*Axiom der Elementarmengen*) "There exists a (fictitious) a set, the null set, phi, that contains no element at all. If a is any object of the domain, there exists a set {a} containing a and only a as element. If a and b are any two objects of the domain, there always exists a set {a, b} containing as elements a and b but no object x distinct from them both." See Axiom of pairs. - AXIOM III. Axiom of separation (
*Axiom der Aussonderung*) "Whenever the propositional function –(x) is definite for all elements of a set M, M possesses a subset M' containing as elements precisely those elements x of M for which –(x) is true". - AXIOM IV. Axiom of the power set (
*Axiom der Potenzmenge*) "To every set T there corresponds a set T', the power set of T, that contains as elements precisely all subsets of T". - AXIOM V. Axiom of the union (
*Axiom der Vereinigung*) "To every set T there corresponds a set uT, the union of T, that contains as elements precisely all elements of the elements of T". - AXIOM VI. Axiom of choice (
*Axiom der Auswahl*): "If T is a set whose elements all are sets that are different from phi and mutually disjoint, its union uT includes at least one subset S1 having one and only one element in common with each element of T". - AXIOM VII. Axiom of infinity (
*Axiom des Unendlichen*) "There exists in the domain at least one set Z that contains the null set as an element and is so constituted that that to each of its elements*a*there corresponds a further element of the form {*a*}, in other words, that with each of its elements*a*it also contains the corresponding set {*a*} as element".

## Connection with standard set theory

The accepted gold standard for set theory is Zermelo-Fraenkel set theory. The links show where the axioms of Zermelo's theory correspond. There is no exact match for "elementary sets". (It was later shown that the singleton set could be derived from what is now called "Axiom of pairs". If a exists, a and a exist, thus {a,a} exists. By Extensionality {a,a} = {a}.) The empty set axiom is already assumed by axiom of infinity, and is now included as part of it.

The axioms do not include the Axiom of regularity and Axiom of replacement. These were added as the result of work by Thoralf Skolem in 1922, based on earlier work by Adolf Fraenkel in the same year.

## The aim of Zermelo's paper

He says he wants to show how the original theory of Cantor and Dedekind can be reduced to a few definitions and seven principles or axioms. He says he has *not* been able to prove that the axioms are consistent.

## The axiom of separation

- If Mo in Mo, then Mo contains an element x for which x in x (i.e. Mo itself), which would contradict the definition of Mo.
- If Mo not in Mo, Mo is an element of M that satisfies the definition "x ∉ x", and so is in Mo.

This left the problem of "the domain B" which seems to refer to something. This led to the idea of a proper class.

## Cantor's Theorem

Zermelo's paper is notable for what may be the first mention of Cantor's theorem explicitly and by name. This appeals strictly to set theoretical notions, and is thus not exactly the same as Cantor's diagonal argument.

Cantor's Theorem: "If M is an arbitrary set, then always M < P(M) [the power set of M]. Every set is of lower cardinality than the set of its subsets".

Zermelo proves this by considering a function φ: M -> P(M). By AXIOM III this defines the following set M':

- M' = {m: m ∉ φ(m)}

- M' = {m: m ∉ φ(m)} = φ(m')

- Zermelo, Ernst. "Untersuchungen über die Grundlagen der Mengenlehre I". Mathematische Annalen, 65:261- 281, 1908. English translation, "Investigations in the foundations of set theory'' in [Heijenoort 1967], pages 199-215.