Mengenaxiome

Bei meinem Mathematik-Studium habe ich nicht viel über Mengen allgemein gehört. Ein paar Mal habe ich in der Bibliothek in Bücher über Mengenlehre geschaut, aber nicht verstanden, warum da tw. ganz triviale Sachverhalte bewiesen werden. Tatsächlich geht es um ein Fundament für das Arbeiten mit Mengen. Die heute üblichen Grundannahmen (= Axiome) sind:

Axiom	Abk.	Beschreibung (vereinfacht)	Axiomensystem
Extensionalitätsaxiom	Z1	2 Mengen sind genau dann gleich, wenn keine ein Element enthält, das in der anderen Menge nicht enthalten ist.	Z	ZF	ZFC
Leermengenaxiom	Z2	Es gibt eine leere Menge.
Paarmengenaxiom	Z3	Aus 2 Mengen `A` und `B` kann man die neue Menge {`A`, `B`} machen. Aufgrund von Z1 gibt es auch {`A`, `A`} = {`A`}.
Vereinigungsaxiom	Z4	Man kann beliebig viele Mengen zu einer neuen Menge vereinigen.
Unendlichkeitsaxiom	Z5	Es gibt die Menge aller natürlichen Zahlen.
Potenzmengenaxiom	Z6	Für jede Menge gibt es die Menge aller ihrer Teilmengen (= Potenzmenge).
Aussonderungsaxiom(schema) oder Komprehensionsaxiom(schema)	Z7	Aus einer vorhandenen Menge können Elemente, die eine bestimmte Eigenschaft haben, ausgewählt und zu einer neuen Menge zusammengefasst werden.
Fundierungsaxiom oder Regularitätsaxiom	Z8	Mengen dürfen sich nicht selbst als Element enthalten; auch nicht indirekt über eine andere Menge. Außerdem darf es keine unendliche Kette der Art geben: `A` enthält `B`, `B` enthält `C`, `C` enthält `D` usw. D. h. es sind nur Mengen in der Art zulässig, wie sie ausgehend von der leeren Menge mit den anderen Axiomen gebildet werden können (Von-Neumann-Hierarchie).
Ersetzungsaxiom(schema)	F	Jedes Element einer Menge kann durch eine andere Menge ersetzt werden. Dadurch ist die Menge der Kardinalzahlen {ℵ₀, ℵ₁, ℵ₂, ...} bildbar (die mit Z4 zur Menge ℵ_ω vereinigt werden kann).
Auswahlaxiom (englisch: axiom of choice)	AC	Aus einer Familie nichtleerer Mengen können wir eine neue Menge bilden, indem wir aus jedem Mitglied der Familie ein Element auswählen (ohne zu sagen, welches).

Hinweise:

Die Nummerierung/Abkürzung der Axiome ist nicht bei allen Autoren gleich.
Das Fundierungsaxiom (Z8) hat Fraenkel eingeführt – dennoch wird es meist zur Zermelo-Mengenlehre (Z) gezählt,^[1] da man nur fundierte Mengen betrachten will.

Varianten

Axiome	Name des Axiomensystems	Abk.	Beschreibung
Z1–Z8	Zermelo-Mengenlehre	Z	Das historisch erste Axiomensystem
Z1–Z8 und AC	Zermelo-Mengenlehre mit Auswahlaxiom	ZC	Für die meiste Mathematik ausreichend^[2]
Z1–Z8 und F	Zermelo-Fraenkel-Mengenlehre	ZF	Die Fraenkel-Axiome Z8 und F werden für Ordinal- und Kardinalzahlen benötigt und vereinfachen die Theorie der Mengen.^[3]
alle genannten	Zermelo-Fraenkel-Mengenlehre mit Auswahlaxiom	ZFC	Das ist das Standard-Axiomensystem, das in der gesamten Mathematik verwendet wird, außer wenn etwas anderes angegeben ist.
alle genannten	Zermelo-Fraenkel-Mengenlehre 2. Ordnung mit Auswahlaxiom	ZFC₂	Hat stärkeres Ersetzungsaxiom (F), sodass größere Kardinalzahlen konstruierbar (erreichbar) sind.
Z1–Z8, F und logisches Gegenteil von AC	Zermelo-Fraenkel-Mengenlehre mit verneintem Auswahlaxiom	ZF¬C	Hier gibt es eine Familie von Mengen, aus der nicht je ein Element ausgewählt werden kann. (In ZF ist offen, ob es Mengenfamilien mit bzw. ohne solcher Auswahlmöglichkeit gibt.)

Erweiterungen

Name des Axiomensystems	Abk.	Beschreibung
Zermelo-Fraenkel-Mengenlehre mit Urelementen (auch „Atome“ genannt)	ZFU	Wird kaum noch gebraucht, da in der heutigen Mathematik alle Objekte (auch z. B. Zahlen) Mengen sind. Das spart Fallunterscheidungen in Beweisen.
	ZFA
Zermelo-Fraenkel-Mengenlehre mit Urelementen und Auswahlaxiom	ZFCU
	ZFCA
Neumann-Bernays-Gödel-Mengenlehre	NBG	Erweiterung von ZFC um echte Klassen Macht über Mengen die gleichen Aussagen wie ZFC. Wird daher in der Praxis selten explizit verwendet.^[4]
Tarski-Grothendieck-Mengenlehre	TG	Erweiterung von ZFC um unerreichbare Mengen Damit kann mehr bewiesen werden.

Schwächere Axiomensysteme

Name des Axiomensystems	Abk.	Beschreibung
Peano-Arithmetik	PA	Die Peano-Axiome definieren die Eigenschaften der natürlichen Zahlen, können aber nicht so viel über sie beweisen wie ZFC.
Peano-Arithmetik 2. Ordnung	PA₂	Entspricht einer eingeschränkten Mengenlehre, wo es nur natürliche Zahlen und Mengen von natürlichen Zahlen gibt.^[5] Wurde früher als Grundlage der Mathematik verwendet, bis in den 1930ern die Mengenlehre diese Rolle übernahm.^[6]
Peano-Arithmetik 3. Ordnung	PA₃	Hier kann man auch von Mengen reeller Zahlen sprechen.^[7]

Name des Axiomensystems

Abk.

Beschreibung

Peano-Arithmetik

Die Peano-Axiome definieren die Eigenschaften der natürlichen Zahlen, können aber nicht so viel über sie beweisen wie ZFC.

Peano-Arithmetik 2. Ordnung

PA₂

Entspricht einer eingeschränkten Mengenlehre, wo es nur natürliche Zahlen und Mengen von natürlichen Zahlen gibt.^[5]

Wurde früher als Grundlage der Mathematik verwendet, bis in den 1930ern die Mengenlehre diese Rolle übernahm.^[6]

Peano-Arithmetik 3. Ordnung

PA₃

Hier kann man auch von Mengen reeller Zahlen sprechen.^[7]

Andere Axiomensysteme

Siehe exotische Axiomensysteme

Vergangenheit

Die heute üblichen Axiome wurden in den ersten Jahrzehnten des 20. Jahrhunderts festgelegt. Sie galten nicht von Anfang an als „offensichtlich wahr“.^[8]

Weiter

Fundierungsaxiom

Weblinks

Oliver Deiser:
- Einführung in die Mengenlehre, Abschnitt „Die ZFC-Axiome“
- Axiomatische Mengenlehre
Jörg Resag: Die Grenzen der Berechenbarkeit, Abschnitt „Die Axiome der Mengenlehre“

Quellen

[1]	nLab-Wiki, Artikel ZFC, Abschnitt Variations – „It is common to take Zermelo set theory (Z) to be ZF without Axiom of Replacement although ... his axioms did not include the Axiom of Foundation“.
[2]	W. Hugh Woodin: The Continuum Hypothesis, Part I (PDF), Notices of the AMS, 6–7.2001, S. 572 (im PDF S. 6) – „Most mathematicians, realizing it or not, work in“ the restricted axiom system ZC.
[3]	Stanford Encyclopedia of Philosophy, Artikel „Set Theory“, Abschnitt „The origins“ – „The axiom of Replacement is needed for a proper development of the theory of transfinite ordinals and cardinals, using transfinite recursion. It is also needed to prove the existence of such simple sets as the set of hereditarily finite sets; i.e., those finite sets whose elements are finite, the elements of which are also finite, and so on; or to prove basic set-theoretic facts such as that every set is contained in a transitive set, i.e., a set that contains all elements of its elements“. englische Wikipedia, Artikel „Zermelo-Fraenkel set theory“, Abschnitt „Criticisms“ – „Much of the power of ZFC, including the axiom of regularity and the axiom schema of replacement, is included primarily to facilitate the study of the set theory itself.“
[4]	Englische Wikipedia, Artikel „Von Neumann-Bernays-Gödel set theory“, Abschnitt „Gödel’s axiom system (NBG)“ – „ZFC became more popular than NBG. This was caused by several factors, including the extra work required to handle forcing in NBG, ... and the proof that NBG is a conservative extension of ZFC (i. e., NBG and ZFC imply the same statements about sets).“
[5]	Englische Wikipedia, Artikel „Second-order arithmetic“ – „Second-order arithmetic can also be seen as a weak version of set theory in which every element is either a natural number or a set of natural numbers.“
[6]	Stanford Encyclopedia of Philosophy, Artikel „Second-order and Higher-order Logic“, Introduction – „Second-order logic ... was widely used in logic until the 1930s, when set theory started to take over as a foundation of mathematics.“
[7]	Stanford Encyclopedia of Philosophy, Artikel „Second-order and Higher-order Logic“ – „With third order logic we can talk about sets of real numbers.“
[8]	Penelope Maddy: Believing the Axioms, part I (PDF), The Journal of Symbolic Logic, 1988, S. 490 (im PDF S. 11) – „the process of adopting set-theoretic axioms has not been a simple matter of noting down the obvious.“

Seite erstellt am 8.12.2024 – letzte Änderung am 22.10.2025

Mathematik

Wissenschaft

Hauptthemen