ZermeloFraenkel set theory
The ZermeloFraenkel set theory is a widespread axiomatic set theory that is named after Ernst Zermelo and Abraham Adolf Fraenkel . Today it is the basis of almost all branches of mathematics. The ZermeloFraenkel set theory without a choice axiom is abbreviated to ZF , with a choice axiom to ZFC (where the C stands for the English word choice , i.e. choice or choice).
history
The ZermeloFraenkel set theory is an extension of the Zermelo set theory from 1907, which is based on axioms and suggestions from Fraenkel from 1921. Fraenkel added to the replacement axiom and advocated regular sets without circular element chains and for a pure set theory whose objects are only sets. In 1930, Zermelo completed the axiom system of the ZermeloFraenkel set theory, which he himself referred to as the ZF system: He adopted Fraenkel's substitution axiom and added the foundation axiom to exclude circular element chains, as demanded by Fraenkel. The original ZF system is verbal and also takes into account original elements that are not quantities. Later formalized ZF systems usually do without such original elements and thus fully implement Fraenkel's ideas. Thoralf Skolem created the first precise predicate logic formalization of the pure ZF set theory in 1929 (still without a foundation axiom). This tradition has prevailed, so that today the abbreviation ZF stands for the pure ZermeloFraenkel set theory. The version with original elements, which is closer to the original ZF system, is still used today and is called the ZFU for clear differentiation.
meaning
It has been shown  this is an empirical finding  that almost all known mathematical statements can be formulated in such a way that provable statements can be derived from ZFC. The ZFC set theory has therefore become a tried and tested and widely accepted framework for all of mathematics. Exceptions can be found wherever you have to or want to work with real classes . Certain extensions of ZFC are then used, which provide classes or additional very large sets, for example an extension to ZFC class logic or the NeumannBernaysGödel set theory or a Grothendieck universe . In any case, ZFC is now regarded as the basic system of axioms for mathematics.
Because of the fundamental importance of ZFC set theory for mathematics, a proof of freedom from contradictions for set theory was sought within the Hilbert program since 1918 . Gödel, who made important contributions to this program, was able to show in his Second Incompleteness Theorem in 1930 that such a proof of freedom from contradiction is impossible within the framework of a consistent ZFC set theory. The assumption of consistency by ZFC therefore remains a working hypothesis of mathematicians hardened by experience:
"The fact that ZFC has been studied for decades and used in mathematics without showing any contradiction, speaks for the consistency of ZFC."
The axioms of ZF and ZFC
ZF has an infinite number of axioms, since two axiom schemes (8th and 9th) are used, each specifying an axiom for each predicate with certain properties. The predicate logic of the first level with identity and the undefined element predicate serves as the logical basis .
1. Axiom of extensionality : Sets are equal if and only if they contain the same elements.
 The axiom implies that in ZF there are only entities with extension, which are usually called sets. All bound variables therefore automatically refer to quantities in the ZF language.
2. Empty set axiom , obsolete null set axiom : There is a set without elements.
 The uniqueness of this set immediately follows from the axiom of extensionality , which means that there is no more than such a set. This is usually referred to as a written and empty set . That means: The empty set is the only original element in ZF .
3. Pair set axiom : For all and there is a set that has exact and as elements.
 Apparently this amount is also clearly determined. It is written as . The amount is usually written as.
4. Axiom of union: for every set there is a set that contains exactly the elements of the elements of as elements.
 The set is also uniquely determined and is called the union of the elements of , written as . Together with the pair amount Axiom allows the association to define.
5. Axiom of infinity : There is a set that contains the empty set and with every element also the set (cf. inductive set ).
 There are many such sets. The intersection of all these sets is the smallest set with these properties and forms the set of natural numbers ; The intersection is formed by applying the axiom of separation (see below). So the natural numbers are represented by
6. Power set axiom: For every set there is a set whose elements are exactly the subsets of .
 The amount is clearly determined. It is called the power set of and is denoted by.
7. Foundation axiom or regularity axiom : Every nonempty set contains an element such that and are disjoint .
 The element that is too disjoint is generally not clearly determined.
 The foundation axiom prevents there are infinite or cyclic sequences of sets in each of which one is included in the previous ones, because then you could a lot form that contradicts the axiom: for each is , the two sets are therefore not disjoint. This implies that a set cannot contain itself as an element.
8. Disposal axiom : This is an axiom scheme with one axiom for each predicate : For each set there is a subset of which contains exactly the elements of for which is true.
 For every singledigit predicate in which the variable does not appear, the following applies:
 From the axiom of extensionality it immediately follows that there is exactly such a set. This is noted with .
9. Replacement axiom (Fraenkel): If a set and every element of is uniquely replaced by an arbitrary set, then it becomes a set. The replacement is made more precise by twoplace predicates with similar properties to a function , namely as an axiom scheme for each such predicate:
 For every predicate in which the variable does not occur:
 The amount is clearly determined and is noted as.
In mathematics, the axiom of choice is often used, which ZF extends to ZFC:
10. Axiom of choice : If there is a set of pairwise disjoint nonempty sets, then there is a set that contains exactly one element from each element of . This axiom has a complicated formula that can be simplified a bit with the uniqueness quantifier :
 Another common verbal formulation of the axiom of choice is: If a set is a nonempty set, then there is a function (of into its union) that assigns an element of to each element of (" selects an element of ").
 With the ZF axioms one can derive the equivalence of the axiom of choice with the wellorder theorem and the lemma of Zorn .
ZF with original elements
Zermelo formulated the original ZF system for quantities and primary elements. He defined sets as things containing elements or the zero set. Primordial elements are then things without elements, namely, he considered the zero set as a distinctive primitive element which, as a given constant, extends the ZF language. Quantities and primitive elements can thus be precisely defined:
The set theory with primitive elements is distinguished from the usual pure ZF set theory by the appended U. The axioms of ZFU and ZFCU are verbal, apart from the empty set axiom, like the axioms of ZF or ZFC, but are formalized differently because of the different framework conditions; deducible quantity conditions can be omitted.
ZFU
ZFU comprises the following axioms:

Empty set axiom :

Axiom of determinateness (weakened axiom of extensionality):

Association axiom :

Power set axiom :

Infinity axiom :

Foundation axiom :

Replacement axiom for twodigit predicates :
The ZF axioms obviously follow from the ZFU axioms and the axiom . Because from the replacement axiom , as in ZF (see below), the pair set axiom can be derived and also the exclusion axiom , the latter here in the following form for each onedigit predicate :
ZFCU
ZFCU comprises the axioms of ZFU and the following axiom of choice :
Simplified ZF system (redundancy)
The ZF system is redundant, that is, it has dispensable axioms that can be derived from others. ZF or ZFU is already fully described by the axiom of extension, union, power set axiom, infinity axiom, foundation axiom and replacement axiom. This applies to the following points:
 The axiom of exclusion follows from the axiom of substitution (Zermelo).
 The void set axiom follows from the exclusion axiom and the existence of some set, which results from the infinity axiom.
 The pair set axiom follows from the replacement axiom and the power set axiom (Zermelo).
Pair set axiom, union axiom and power set axiom can also be obtained from the statement that every set is an element of a level . The axiom of infinity and the axiom of substitution are equivalent to the reflection principle within the framework of the other axioms . By combining these two insights, Dana Scott reformulated ZF into the equivalent Scott system of axioms .
ZF system without equality
ZF and ZFU can also be based on a predicate logic without equality and define equality. The derivation of all axioms of equality only ensures the definition of identity that is customary in logic :
The axiom of extensionality is not suitable for the definition! The definition of identity does not make this axiom superfluous because it cannot be derived from the definition. As an alternative, a definition of equality by extensionality would only be possible in ZF if the axiom was included, which ensures the deducibility of the above formula. This option is of course ruled out at ZFU.
Infinite axiomatizability
The substitution axiom is the only axiom scheme in ZF if one removes the redundancies of the axioms and restricts oneself to a system of independent axioms. It cannot be replaced by a finite number of individual axioms. In contrast to the theories of NeumannBernaysGödel (NBG) and New Foundations (NF), ZF can not finally be axiomatized.
literature
Primary sources (chronological)
 Ernst Zermelo: Investigations into the basics of set theory. 1907, In: Mathematische Annalen. 65 (1908), pp. 261281.
 Adolf Abraham Fraenkel: To the basics of CantorZermeloschen set theory. 1921, In: Mathematische Annalen. 86: 230237 (1922).
 Adolf Fraenkel: Ten lectures on the foundations of set theory. 1927. Unchanged reprographic reprint Scientific Book Society Darmstadt 1972.
 Thoralf Skolem: About some fundamental questions in mathematics. 1929, In: selected works in logic. Oslo 1970, pp. 227273.
 Ernst Zermelo: About limit numbers and quantity ranges. In: Fundamenta Mathematicae. 16 (1930) (PDF; 1.6 MB), pp. 2947.
Secondary literature
 Oliver Deiser: Introduction to set theory: Georg Cantor's set theory and its axiomatization by Ernst Zermelo . Springer, Berlin / Heidelberg 2004, ISBN 3540204016 .
 HeinzDieter Ebbinghaus: Introduction to set theory . Spectrum Academic Publishing House, Heidelberg / Berlin 2003, ISBN 3827414113 .
 Adolf Fraenkel: Introduction to set theory . Springer Verlag, Berlin / Heidelberg / New York 1928. (Reprint: Dr. Martin Sendet oHG, Walluf 1972, ISBN 3500249604 ).
 Paul R. Halmos: Naive set theory . Vandenhoeck & Ruprecht, Göttingen 1968, ISBN 3525405278 .
 Felix Hausdorff: Fundamentals of set theory . Chelsea Publ. Co., New York 1914, 1949, 1965.
 Arnold Oberschelp : General set theory. BIWissenschaft, Mannheim / Leipzig / Vienna / Zurich 1994, ISBN 3411172711 .
Individual evidence
 ↑ Ebbinghaus , chap. VII, §4
 ↑ David Hilbert : Axiomatic Thinking. In: Mathematical Annals. 78: 405415 (1918). There, on page 411, the fundamental importance of the consistency of Zermelo set theory for mathematics is discussed.
 ↑ Verbalization based on: Fraenkel: To the basics of CantorZermeloschen set theory. 1921, In: Mathematische Annalen. 86 (1922), p. 231.
 ↑ Ernst Zermelo : Investigations on the basics of set theory. In: Mathematical Annals. 65 (1908), p. 262, §1 (2.) Definition of quantities.
 ↑ Ernst Zermelo: limit numbers and quantity ranges. In: Fundamenta Mathematicae. 16 (1930), p. 30, remark in Axiom U: “Instead of the“ zero set ”there is an arbitrarily selected primordial element”.
 ↑ ^{a } ^{b} Ernst Zermelo: Limits and quantity ranges. In: Fundamenta Mathematicae. 16 (1930), remark p. 31.
 ^ Walter Felscher : Naive sets and abstract numbers I, Mannheim / Vienna / Zurich 1978, p. 62.
 ↑ ^{a } ^{b} Wolfgang Rautenberg : Basic course set theory , version Berlin 2008, p. 26. (PDF; 1.0 MB)
 ^ Walter Felscher: Naive sets and abstract numbers I. Mannheim / Vienna / Zurich 1978, p. 78f.
 ^ Robert Mac Naughton, A non standard truth definition , in: Proceedings of the American Mathematical Society, Vol. 5 (1954), pp. 505509.
 ↑ Richard Montague, Fraenkel's addition to the axioms of Zermelo , in: Essays on the Foundation of Mathematics, pp. 91114, Jerusalem 1961. Inadequate evidence was given in 1952 by Mostowski and Hao Wang.
Web links
 Laura Crosilla: Set Theory: Constructive and Intuitionistic ZF. In: Edward N. Zalta (Ed.): Stanford Encyclopedia of Philosophy .
 mathematik.de: Set theory