Quelltext der Seite Zermelo-Fraenkel-Mengenlehre

Die '''Zermelo-Fraenkel-Mengenlehre''' ist eine verbreitete [[axiomatische Mengenlehre]], die nach [[Ernst Zermelo]] und [[Adolf Abraham Halevi Fraenkel|Abraham Adolf Fraenkel]] benannt ist. Sie ist heute Grundlage fast aller Zweige der [[Mathematik]]. Die Zermelo-Fraenkel-Mengenlehre ohne [[Auswahlaxiom]] wird durch '''ZF''' abgekürzt, mit Auswahlaxiom durch '''ZFC''' (wobei das '''C''' für das engl. Wort ''choice'', also Auswahl oder Wahl steht).

== Geschichte ==

Die Zermelo-Fraenkel-Mengenlehre ist eine Erweiterung der [[Zermelo-Mengenlehre]] von 1907, die auf Axiomen und Anregungen von Fraenkel von 1921 beruht. Fraenkel ergänzte das [[Ersetzungsaxiom]] und plädierte für reguläre Mengen ohne zirkuläre Elementketten und für eine reine Mengenlehre, deren Objekte nur Mengen sind. Zermelo komplettierte 1930 das Axiomensystem der Zermelo-Fraenkel-Mengenlehre, das er selbst als ZF-System bezeichnete: Er nahm das Ersetzungsaxiom Fraenkels auf und fügte das [[Fundierungsaxiom]] hinzu, um zirkuläre Elementketten auszuschließen, wie von Fraenkel gefordert. Das [[Zermelo-Mengenlehre#Originales ZF-System 1930|originale ZF-System]] ist verbal und kalkuliert auch [[Urelement]]e ein, die keine Mengen sind. Auf solche Urelemente verzichten spätere formalisierte ZF-Systeme meist und setzen damit Fraenkels Ideen vollständig um. Die erste präzise prädikatenlogische Formalisierung der reinen ZF-Mengenlehre schuf [[Albert Thoralf Skolem|Thoralf Skolem]] 1929 (noch ohne Fundierungsaxiom). Diese Tradition hat sich durchgesetzt, so dass heute das Kürzel ZF für die reine Zermelo-Fraenkel-Mengenlehre steht. Die dem originalen ZF-System näherstehende Version mit Urelementen wird heute aber auch noch gebraucht und zur klaren Unterscheidung als ZFU bezeichnet.

== Bedeutung ==
Die ZFC-Mengenlehre ist ein bewährter und weithin akzeptierter Rahmen für die Mathematik, obwohl die meisten Mathematiker nicht in der Lage sind, die ZFC-Axiome aufzuzählen. Ausnahmen finden sich überall dort, wo man mit [[Klasse (Mengenlehre)|echten Klassen]] arbeiten muss oder will. Man benutzt dann gewisse Erweiterungen von ZFC, die Klassen oder zusätzliche sehr große Mengen zur Verfügung stellen, etwa eine Erweiterung zur [[Klasse (Mengenlehre)#Klassenterme|ZFC-Klassenlogik]] oder die [[Neumann-Bernays-Gödel-Mengenlehre]] oder ein [[Grothendieck-Universum]].

Wegen der grundlegenden Bedeutung der ZFC-Mengenlehre für die Mathematik wurde seit 1918 im Rahmen des [[Hilbertprogramm]]s ein Widerspruchsfreiheitsbeweis für die Mengenlehre gesucht.<ref>[[David Hilbert]]: ''Axiomatisches Denken.'' In: ''Mathematische Annalen.'' 78, 1918, S. 405–415 ([http://www.digizeitschriften.de/dms/resolveppn/?PPN=GDZPPN00226689X digizeitschriften.de] – Dort kommt auf Seite 411 die grundlegende Bedeutung der Widerspruchsfreiheit der Zermelo-Mengenlehre für die Mathematik zur Sprache).</ref> Gödel, der sich mit wichtigen Beiträgen an diesem Programm beteiligte, konnte aber 1930 in seinem [[Gödelscher Unvollständigkeitssatz|Zweiten Unvollständigkeitssatz]] zeigen, dass ein solcher Widerspruchsfreiheitsbeweis im Rahmen einer widerspruchsfreien ZFC-Mengenlehre unmöglich ist. Die Annahme der [[Widerspruchsfreiheit]] von ZFC bleibt daher eine durch Erfahrung gehärtete Arbeitshypothese der Mathematiker:
{{Zitat
 |Text=Die Tatsache, dass ZFC seit Jahrzehnten untersucht und in der Mathematik benutzt wird, ohne dass sich ein Widerspruch gezeigt hat, spricht aber für die Widerspruchsfreiheit von ZFC.
 |Autor=Ebbinghaus
 |Quelle=''Einführung in die mathematische Logik'', Kap.&nbsp;VII, §&nbsp;4
}}

== Die Axiome von ZF und ZFC ==

ZF hat unendlich viele Axiome, da zwei [[Axiomenschema]]ta (8. und 9.) verwendet werden, die zu jedem Prädikat mit bestimmten Eigenschaften je ein Axiom angeben. Als logische Grundlage dient die [[Prädikatenlogik erster Stufe|Prädikatenlogik der ersten Stufe]] mit Identität und dem undefinierten Elementprädikat <math>\in</math>.

1. ''[[Extensionalitätsaxiom]]'': Mengen sind genau dann gleich, wenn sie dieselben Elemente enthalten.
:: <math>\forall A,B\colon (A=B \iff\forall C\colon (C\in A \iff C\in B))</math>
: Das Axiom impliziert, dass es in ZF nur Entitäten mit Extension gibt, die üblicherweise als Mengen bezeichnet werden. Alle gebundenen Variablen beziehen sich daher in der ZF-Sprache automatisch auf Mengen.

2. ''[[Leere Menge#Leermengenaxiom|Leermengenaxiom]]'', veraltet ''Nullmengenaxiom'': Es gibt eine Menge ohne Elemente.
:: <math>\exist B\colon \forall A\colon \lnot (A \in B)</math>
: Aus dem Extensionalitätsaxiom folgt unmittelbar die Eindeutigkeit dieser Menge <math>B</math>, das heißt, dass es auch nicht mehr als eine solche Menge gibt. Diese wird meist als <math>\emptyset</math> geschrieben und [[leere Menge]] genannt. Das bedeutet: Die leere Menge ist in ZF das einzige [[Urelement]].

3. ''[[Paarmenge]]naxiom'': Für alle <math>A</math> und <math>B</math> gibt es eine Menge <math>C</math>, die genau <math>A</math> und <math>B</math> als Elemente hat.
:: <math>\forall A,B\colon \exist C\colon \forall D\colon (D\in C \iff ((D=A) \lor (D=B)))</math>
: Offenbar ist auch diese Menge <math>C</math> [[eindeutig]] bestimmt. Sie wird geschrieben als <math>\left\{A,B\right\}</math>. Die Menge <math>\left\{A,A\right\}</math> wird üblicherweise als <math>\left\{A\right\}</math> geschrieben.

4. ''Vereinigungsaxiom:'' Für jede Menge <math>A</math> gibt es eine Menge <math>B</math>, die genau die Elemente der Elemente von <math>A</math> als Elemente enthält.
:: <math>\forall A\colon \exist B\colon \forall C\colon (C\in B \iff \exist D\colon (D\in A \land C\in D))</math>
: Auch die Menge <math>B</math> ist eindeutig bestimmt und heißt die ''Vereinigung'' der Elemente von <math>A</math>, geschrieben als <math>\bigcup A</math>. Zusammen mit dem Paarmengenaxiom lässt sich die ''Vereinigung'' <math>A \cup B := \bigcup \{A,B\}</math> definieren.

5. ''[[Unendlichkeitsaxiom]]:'' Es gibt eine Menge <math>A</math>, die die leere Menge und mit jedem Element <math>X</math> auch die Menge <math>X \cup \{X\}</math> enthält (vgl. ''[[Induktive Menge]]'').
:: <math>\exist A\colon (\emptyset \in A \land \forall X\colon (X\in A \Rightarrow X \cup \{X\}\in A))</math>

: Es gibt viele derartige Mengen. Der Schnitt aller dieser Mengen ist die kleinste Menge mit diesen Eigenschaften und bildet die ''[[natürliche Zahl|Menge der natürlichen Zahlen]]''; die Bildung der Schnittmenge erfolgt durch Anwendung des Aussonderungsaxioms (s.&nbsp;u.). Die natürlichen Zahlen werden also dargestellt durch
:: <math>\mathbb{N}\,:=\, \{ \emptyset, \, \{\emptyset\}, \, \{\emptyset,\{\emptyset\}\}, \, \{\emptyset,\{\emptyset\},\{\emptyset,\{\emptyset\}\}\} \,\ldots \}</math>

6. ''Potenzmengenaxiom:'' Für jede Menge <math>A</math> gibt es eine Menge <math>P</math>, deren Elemente genau die Teilmengen von <math>A</math> sind.
:: <math>\forall A\colon \exists P\colon \forall B\colon (B\in P \iff \forall C\colon (C\in B \Rightarrow C\in A))</math>
: Die Menge <math>P</math> ist eindeutig bestimmt. Sie heißt die [[Potenzmenge]] von <math>A</math> und wird mit <math>{\mathcal{P}(A)}</math> bezeichnet.

7. ''[[Fundierungsaxiom]]'' oder ''Regularitätsaxiom:'' Jede nichtleere Menge <math>A</math> enthält ein Element <math>B</math>, so dass <math>A</math> und <math>B</math> [[disjunkt]] sind.
:: <math>\forall A\colon (A\neq \emptyset \Rightarrow \exists B\colon (B\in A \land \lnot \exist C\colon (C\in A \land C\in B)))</math>
: Das Element <math>B</math>, welches zu <math>A</math> disjunkt ist, ist im Allgemeinen nicht eindeutig bestimmt.
:: Das Fundierungsaxiom verhindert, dass es unendliche oder zyklische Folgen von Mengen gibt, bei denen jeweils eine in der vorangegangenen enthalten ist, <math> x_1 \ni x_2 \ni x_3 \ni\dots </math>, denn dann könnte man eine Menge <math>A = \{x_1, x_2, x_3, \dots \}</math> bilden, die dem Axiom widerspricht: Für jedes <math>x_i \in A</math> ist <math>x_{i+1} \in x_i \cap A</math>, die beiden Mengen sind also nicht disjunkt. Das impliziert, dass eine Menge sich nicht selbst als Element enthalten kann.

8. ''[[Aussonderungsaxiom]]:'' Hier handelt es sich um ein Axiomenschema mit je einem Axiom zu jedem Prädikat <math>P</math>: Zu jeder Menge <math>A</math> existiert eine Teilmenge <math>B</math> von <math>A</math>, die genau die Elemente <math>C</math> von <math>A</math> enthält, für die <math>P(C)</math> wahr ist.
:: Für jedes einstellige Prädikat <math>P(C)</math>, in dem die Variable <math>B</math> nicht vorkommt,  gilt: <math>\forall A\colon \exist B\colon \forall C\colon (C\in B \iff C\in A \land P(C))</math>
: Aus dem Extensionalitätsaxiom ergibt sich sofort, dass es genau eine solche Menge gibt. Diese wird mit <math>\{C \in A \mid P(C)\}</math> notiert.

9. ''[[Ersetzungsaxiom]]'' (Fraenkel): Ist <math>A</math> eine Menge und wird jedes Element von <math>A</math> eindeutig durch eine beliebige Menge ersetzt, so geht <math>A</math> in eine Menge über.<ref>Verbalisierung angelehnt an: Fraenkel: ''Zu den Grundlagen der Cantor-Zermeloschen Mengenlehre.'' 1921, In: ''Mathematische Annalen.'' 86 (1922), S. 231.</ref> Die Ersetzung wird präzisiert durch zweistellige Prädikate mit ähnlichen Eigenschaften wie eine [[Funktion (Mathematik)|Funktion]], und zwar als Axiomenschema für jedes solche Prädikat:
:: Für jedes Prädikat <math>F(X,Y)</math>, in dem die Variable <math>B</math> nicht vorkommt, gilt:
:: <math>\forall X,Y,Z\colon (F(X,Y) \land F(X,Z) \Rightarrow Y=Z) \Rightarrow
\forall A\colon \exist B\colon \forall C\colon (C\in B \iff \exist D\colon (D\in A \land F(D, C)))</math>
: Die Menge <math>\,B</math> ist eindeutig bestimmt und wird als <math>\{ C|D\in A \land F(D, C)\}</math> notiert.

In der Mathematik wird häufig auch das Auswahlaxiom benutzt, das ZF zu ZFC erweitert:

10. ''[[Auswahlaxiom]]:'' Ist <math>A</math> eine Menge von paarweise disjunkten nichtleeren Mengen, dann gibt es eine Menge, die genau ein Element aus jedem Element von <math>A</math> enthält. Dieses Axiom hat eine komplizierte Formel, die mit dem [[Quantor#Anzahlquantoren|Eindeutigkeitsquantor]] <math>\exist!</math> etwas vereinfacht werden kann:
:: <math>\forall A\colon \Big( ((\emptyset \not \in A)\ \wedge\ \forall X,Y,Z\colon ((X\in A\ \wedge\ Y\in A\ \wedge\ Z\in X\ \wedge\ Z\in Y) \Rightarrow (X=Y)))</math>
:: <math>\Rightarrow\;</math>
:: <math>\exist B\colon \forall X\colon (X \in A \Rightarrow \exist!\ Y\colon (Y \in X \wedge Y \in B))\Big)</math>
: Eine andere übliche verbale Formulierung des Auswahlaxioms lautet: Ist <math>A</math> eine Menge nichtleerer Mengen, dann gibt es eine Funktion <math>f</math> (von <math>A</math> in seine Vereinigung), die jedem Element <math>B</math> von <math>A</math> ein Element von <math>B</math> zuordnet („ein Element von <math>B</math> auswählt“).
: Mit den ZF-Axiomen kann man die Äquivalenz des Auswahlaxioms mit dem [[Wohlordnungssatz]] und dem [[Lemma von Zorn]] ableiten.

== ZF mit Urelementen ==
Zermelo formulierte das [[Zermelo-Mengenlehre|originale ZF-System]] für Mengen und Urelemente. Mengen definierte er als elementhaltige Dinge oder die [[Nullmenge]].<ref>[[Ernst Zermelo]]: ''Untersuchungen über die Grundlagen der Mengenlehre.'' In: ''Mathematische Annalen.'' 65, 1908, S. 262 ([http://www-gdz.sub.uni-goettingen.de/cgi-bin/digbib.cgi?PPN235181684_0065 www-gdz.sub.uni-goettingen.de]), §1 (2.) Mengendefinition.</ref> [[Urelement]]e sind dann Dinge ohne Elemente, und zwar betrachtete er die Nullmenge als ausgezeichnetes Urelement,<ref>Ernst Zermelo: ''Grenzzahlen und Mengenbereiche.'' In: ''Fundamenta Mathematicae.'' 16 (1930), S. 30, Bemerkung in Axiom U: „An die Stelle der „Nullmenge“ tritt hier ein beliebig ausgewähltes Urelement“.</ref> das als gegebene Konstante <math>\emptyset</math> die ZF-Sprache erweitert. Mengen und Urelemente sind damit präzise definierbar:

:: <math>M\text{ ist Menge}\colon \iff (M = \emptyset) \lor \exists X\colon (X\in M)</math>
:: <math>U\text{ ist Urelement}\colon \iff \lnot \exists X\colon (X\in U)</math>

Von der üblichen reinen ZF-Mengenlehre wird die Mengenlehre mit Urelementen unterschieden durch angehängtes U. Die Axiome von ZFU und ZFCU lauten abgesehen vom Leermengenaxiom verbal wie die Axiome von ZF oder ZFC, werden aber wegen der anderen Rahmenbedingungen anders formalisiert; ableitbare Mengenbedingungen können dabei entfallen.

=== ZFU ===

ZFU umfasst folgende Axiome:
: ''Leermengenaxiom'':
:: <math>\emptyset \text{ ist Urelement}</math>

: ''Axiom der Bestimmtheit'' (abgeschwächtes Extensionalitätsaxiom):
:: <math>A\text{ ist Menge } \land B\text{ ist Menge } \Rightarrow (A=B \iff\forall C\colon (C\in A \iff C\in B))</math>

: ''Vereinigungsaxiom'':
:: <math>\forall A\colon \exist B\colon (B\text{ ist Menge } \land \forall C\colon (C\in B \iff \exist D\colon (D\in A \land C\in D)))</math>

: ''Potenzmengenaxiom'':
:: <math>\forall A\colon \exists P\colon \forall B\colon (B\in P \iff (B\text{ ist Menge } \land
\forall C\colon (C\in B \Rightarrow C\in A)))</math>

: ''Unendlichkeitsaxiom'':
:: <math>\exist A\colon (\exist X \in A\colon \forall Y \in A\colon \lnot (Y\in X) \land \forall X\colon (X\in A \Rightarrow X \cup \{X\}\in A))</math>

: ''Fundierungsaxiom'':
:: <math>\exists X\colon (X\in A) \Rightarrow \exists B\colon (B\in A \land \lnot \exist C\colon (C\in A \land C\in B))</math>

: ''Ersetzungsaxiom'' für zweistellige Prädikate <math>F(X,Y)</math>:
:: <math>\forall X,Y,Z\colon (F(X,Y) \land F(X,Z) \Rightarrow Y=Z) \Rightarrow
\forall A\colon \exist B\colon (B\text{ ist Menge } \wedge\ \forall C\colon (C\in B \iff \exist D\colon (D\in A \wedge\ F(D, C))))</math>

Aus den ZFU-Axiomen und dem Axiom <math>\forall X\colon X\text{ ist Menge}</math> folgen offenbar die ZF-Axiome. Denn aus dem ''Ersetzungsaxiom'' ist wie in ZF (siehe unten) das ''Paarmengenaxiom'' ableitbar und auch das ''Aussonderungsaxiom'', letzteres hier in folgender Form für jedes einstellige Prädikat <math>P</math>:
::<math>\forall A\colon \exist B\colon (B\text{ ist Menge } \land \forall C\colon (C\in B \iff C\in A \land P(C)))</math>

=== ZFCU ===
ZFCU umfasst die Axiome von ZFU und folgendes ''Auswahlaxiom'':
:: <math>\forall A\colon \Big((\forall X \colon (X \in A \Rightarrow \exists Y\colon (Y\in X))\ \wedge\ \forall X,Y,Z\colon ((X\in A\ \wedge\ Y\in A\ \wedge\ Z\in X\ \wedge\ Z\in Y) \Rightarrow (X=Y)))</math>
:: <math>\Rightarrow\;</math>
:: <math>\exist B\colon \forall X\colon (X \in A \Rightarrow \exist!\ Y\colon (Y \in X \wedge Y \in B))\Big)</math>

== Vereinfachtes ZF-System (Redundanz) ==
Das ZF-System ist redundant, das heißt, es hat entbehrliche Axiome, die aus anderen ableitbar sind. ZF bzw. ZFU wird schon vollständig beschrieben durch das Extensionalitätsaxiom, Vereinigungsaxiom, Potenzmengenaxiom, Unendlichkeitsaxiom, Fundierungsaxiom und Ersetzungsaxiom. Das gilt wegen folgender Punkte:

* Das Aussonderungsaxiom folgt aus dem Ersetzungsaxiom (Zermelo).<ref name="Zermelo">Ernst Zermelo: ''Grenzzahlen und Mengenbereiche.'' In: ''Fundamenta Mathematicae.'' 16 (1930), Bemerkung S. 31.</ref><ref>[[Walter Felscher]]: ''Naive Mengen und abstrakte Zahlen'' I, Mannheim/ Wien/ Zürich 1978, S. 62.</ref><ref name="Rautenberg">[[Wolfgang Rautenberg]]: ''Grundkurs Mengenlehre'', Fassung Berlin 2008, S. 26 ([http://page.mi.fu-berlin.de/raut/Mengenlehre/m.pdf page.mi.fu-berlin.de] PDF; 1&nbsp;MB)</ref>
* Das Leermengenaxiom folgt aus dem Aussonderungsaxiom und der Existenz irgendeiner Menge, welches sich aus dem Unendlichkeitsaxiom ergibt.
* Das Paarmengenaxiom folgt aus dem Ersetzungsaxiom und dem Potenzmengenaxiom (Zermelo).<ref name="Zermelo" /><ref name="Rautenberg" />

Paarmengenaxiom, Vereinigungsaxiom und Potenzmengenaxiom können auch aus der Aussage gewonnen werden, dass jede Menge Element einer ''[[Von-Neumann-Hierarchie|Stufe]]'' ist. Unendlichkeitsaxiom und Ersetzungsaxiom sind im Rahmen der übrigen Axiome äquivalent zum [[Reflexionsprinzip (Mengenlehre)|Reflexionsprinzip]]. Durch Kombination dieser beiden Einsichten formulierte [[Dana Scott]] ZF zum äquivalenten [[Scottsches Axiomensystem|Scottschen Axiomensystem]] um.

== ZF-System ohne Gleichheit ==
Man kann ZF und ZFU auch auf einer Prädikatenlogik ohne Gleichheit aufbauen und die Gleichheit definieren. Die Ableitung aller Gleichheitsaxiome sichert nur die in der Logik übliche [[Identität (Logik)#Einführung der Identitätsrelation in formalen Systemen|Identitätsdefinition]]:<ref>Walter Felscher: ''Naive Mengen und abstrakte Zahlen I.'' Mannheim/ Wien/ Zürich 1978, S. 78f.</ref>
::<math>A=B :\iff \forall C\colon (A\in C \iff B\in C) \land \forall C\colon (C\in A \iff C\in B) </math>

Zur Definition eignet sich nicht das Extensionalitätsaxiom! Die Identitätsdefinition macht dieses Axiom nicht überflüssig, weil es aus der Definition nicht ableitbar wäre. Eine Gleichheitsdefinition per Extensionalität <math>A=B :\iff \forall C\colon (C\in A \iff C\in B)</math> wäre als Alternative in ZF nur dann möglich, wenn man das Axiom <math>A=B \Rightarrow \forall C\colon (A\in C \iff B\in C)</math> hinzunähme, was die Ableitbarkeit der obigen Formel sichert. Diese Möglichkeit scheidet natürlich bei ZFU aus.

== Nicht endliche Axiomatisierbarkeit ==
Das Ersetzungsaxiom ist das einzige Axiomenschema in ZF, wenn man die Redundanzen der Axiome beseitigt und sich auf ein System unabhängiger Axiome beschränkt. Es lässt sich nicht durch endlich viele Einzelaxiome ersetzen. ZF ist also im Gegensatz zu den Theorien [[Neumann-Bernays-Gödel-Mengenlehre|Neumann-Bernays-Gödel]] (NBG) und [[New Foundations]] (NF) nicht endlich axiomatisierbar.<ref>Robert Mac Naughton: ''A non standard truth definition.'' In: ''Proceedings of the American Mathematical Society.'' Band 5, 1954, S. 505–509.</ref><ref>Richard Montague: ''Fraenkel's addition to the axioms of Zermelo.'' In: ''Essays on the Foundation of  Mathematics.'' Jerusalem 1961, S. 91–114. Unzulängliche Beweise wurden 1952 von Mostowski und Hao Wang gegeben.</ref>

== Philosophische Kritik ==
Die Zermelo-Fraenkelsche Mengenlehre wird gelegentlich dafür kritisiert, die Zusammenstellung der Axiome sei willkürlich – ein Vorwurf, den Zermelo selbst 1929 in einem Vortrag über die [[Neumann-Bernays-Gödel-Mengenlehre]], einer Erweiterung von ZFC, angesprochen hat:

{{Zitat
 |Text=Hier erscheinen nun freilich die einzelnen den Mengen-Begriff einschränkenden ‚Axiome‘ leicht als willkürlich und ohne inneren Zusammenhang unter einander, und man möchte versuchen, sie alle aus einem einzigen einheitlichen Prinzipe herzuleiten, das dann als unterscheidendes Merkmal zwischen Mengen und Klassen eine eigentliche ‚Definition‘ des Mengen-Begriffes darstellen wurde.
 |Autor=Ernst Zermelo
 |ref=<ref>Ernst Zermelo: ''Collected Works/Gesammelte Werke.'' Band I: ''Set Theory, Miscellanea/Mengenlehre, Varia.'' Herausgegeben von H.-D. Ebbinghaus und A. Kanamori. Springer (2010), S. 386</ref>}}

Neben dem Auswahlaxiom gibt es noch andere Axiome, deren Bedeutung in der Mathematik in Frage gestellt wird. Das Autorenkollektiv [[Nicolas Bourbaki]] braucht für ihren systematischen Aufbau der Mathematik das [[Ersetzungsschema]] gar nicht. Ebenso wird das [[Fundierungsaxiom]] sehr selten benötigt und kann bei der Definition der [[Ordinalzahl|Ordinalzahlen]] ausgelassen werden. Angesichts dieser Kritikpunkte wurden und werden Alternativen wie das [[Scottsches Axiomensystem|Scottsche Axiomensystem]] oder [[New Foundations]] diskutiert, wovon keines aber weitere Verbreitung gefunden hat.

== Literatur ==
'''Primärquellen (chronologisch)'''
* Ernst Zermelo: ''Untersuchungen über die Grundlagen der Mengenlehre.'' In: ''Mathematische Annalen.'' 65, 1908, S. 261–281 ([http://www-gdz.sub.uni-goettingen.de/cgi-bin/digbib.cgi?PPN235181684_0065 www-gdz.sub.uni-goettingen.de]).
* Adolf Abraham Fraenkel: ''Zu den Grundlagen der Cantor-Zermeloschen Mengenlehre.'' In: ''Mathematische Annalen.'' 86, 1922, S. 230–237 ([http://gdz.sub.uni-goettingen.de/no_cache/dms/load/img/?IDDOC=36938 gdz.sub.uni-goettingen.de]).
* Adolf Fraenkel: ''Zehn Vorlesungen über die Grundlegung der Mengenlehre.'' 1927. Unveränderter reprografischer Nachdruck Wissenschaftliche Buchgesellschaft Darmstadt 1972.
* Thoralf Skolem: ''Über einige Grundlagenfragen der Mathematik.'' 1929 In: ''selected works in logic.'' Oslo 1970, S. 227–273.
* Ernst Zermelo: ''Über Grenzzahlen und Mengenbereiche.'' In: ''Fundamenta Mathematicae.'' 16, 1930, S. 29–47 ([http://matwbn.icm.edu.pl/ksiazki/fm/fm16/fm1615.pdf matwbn.icm.edu.pl] PDF; 1,5&nbsp;MB).

'''Sekundärliteratur'''
* Oliver Deiser: ''Einführung in die Mengenlehre: Die Mengenlehre Georg Cantors und ihre Axiomatisierung durch Ernst Zermelo.'' Springer, Berlin/ Heidelberg 2004, ISBN 3-540-20401-6.
* Heinz-Dieter Ebbinghaus: ''Einführung in die Mengenlehre.'' Spektrum Akademischer Verlag, Heidelberg/ Berlin 2003, ISBN 3-8274-1411-3.
* Adolf Fraenkel: ''Einleitung in die Mengenlehre.'' Springer Verlag, Berlin/ Heidelberg/ New York 1928. (Neudruck: Dr. Martin Sändig oHG, Walluf 1972, ISBN 3-500-24960-4).
* Paul R. Halmos: ''Naive Mengenlehre.'' Vandenhoeck & Ruprecht, Göttingen 1968, ISBN 3-525-40527-8.
* Felix Hausdorff: ''[[Grundzüge der Mengenlehre]].'' Chelsea Publ. Co., New York 1914, 1949, 1965.
* [[Arnold Oberschelp]]: ''Allgemeine Mengenlehre.'' BI-Wissenschaft, Mannheim/ Leipzig/ Wien/ Zürich 1994, ISBN 3-411-17271-1.

== Einzelnachweise ==
<references />

== Weblinks ==
[[Kategorie:Wikipedia.de Artikel]]
* {{SEP|http://plato.stanford.edu/entries/set-theory-constructive/|Set Theory: Constructive and Intuitionistic ZF|Laura Crosilla}}
* [http://www.mathematik.de/ger/information/landkarte/gebiete/mengenlehre/mengenlehre.html mathematik.de: Mengenlehre]

{{Navigationsleiste ZFC Axiome}}

[[Kategorie:Mengenlehre]]