Skriptum zur Vorlesung Mengenlehre

64Kapitel 9Die Rolle des UnendlichkeitsaxiomsWenn man möglichst schnell und einfach das Induktionsprinzip für die natürlichenZahlen erhalten will, so definiert man sie als Durchschnitt aller induktivenMengen (und damit als kleinste induktive Menge):N := ⋂ {x | Ind(x)},wobeiInduktiv(a) :↔ /0 ∈ a ∧ ∀y(y ∈ a → y ∪ {y} ∈ a).Da der Durchschnitt über die leere Menge jedoch keine Menge (sondern die echteKlasse aller Mengen) ist, muß man für diesen Weg das Unendlichkeitsaxiom voraussetzen(welches gerade besagt, daß es eine induktive Menge gibt). Wir wollenjedoch - soweit möglich - dieses Axiom vermeiden und wählen daher den Begriffder natürlichen Zahl als “endliche” Ordinalzahl, d. h. als Ordinalzahl unterhalbder ersten Limeszahl:Nz(n) : ↔ Ord(n) ∧ (n = 0 ∨ N f (n)) ∧ ∀x ∈ n(x = 0 ∨ N f (x))↔ Ord(n) ∧ ∀λ(Lim(λ) → n < λ) natürliche ZahlDa das Unendlichkeitsaxiom Un auch damit gleichbedeutend ist, daß eine Limeszahlexistiert, bedeutet diese Definition:a) Gilt Un, so ist die kleinste Limeszahl ω = Menge der natürlichen Zahlen.b) Gilt ¬Un, existiert also keine unendliche Menge, so sind alle Mengen endlichund die natürlichen Zahlen bilden eine echte Klasse, die mit der KlasseOn aller Ordinalzahlen zusammenfällt.