Beweisarchiv: Mengenlehre: Ordinalzahlen: echte Klasse

Aus Wikibooks

Beweisarchiv: Mengenlehre

Charakteristikum unendlicher Mengen
Injektivität Surjektivität Bijektivität: Faktoren · Komposition · Linksinverse · Linkskürzbarkeit · Rechtsinverse · Rechtskürzbarkeit
Verkettungen: Assoziativgesetz der Hintereinanderausführung
Mächtigkeiten (Kardinalzahlen): lineare Ordnung · Kardinalität und Bijektionen · Potenzmenge
Deskriptive Mengenlehre: Satz von Young
Rechenregeln für Mengenoperationen: Assoziativgesetze · Distributivgesetze · Differenzgesetze · Grundeigenschaften der Inklusion · De Morgansche Regeln für Mengen · Bild und Urbild
Ordinalzahlen: Ordinalzahlen enthalten sich nicht selbst als Element · Elemente von Ordinalzahlen sind Ordinalzahlen · Durchschnitte von Ordinalzahlen sind Ordinalzahlen · Wohlordnung der Klasse aller Ordinalzahlen · Ordinalzahlen bilden eine echte Klasse · Der Nachfolger einer Ordinalzahl ist Ordinalzahl · Vereinigungen von Ordinalzahlen sind Ordinalzahlen · Limes- und Nachfolgerzahlen · Äquivalenz verschiedener Definitionen
Sätze die in ZF Äquivalent zum Auswahlaxiom sind: Alternative Darstellung des Auswahlaxioms · Wohlordnungssatz · Lemma von Zorn


Satz[Bearbeiten]

Die Klasse ist eine echte Klasse.

Bemerkung: Wenn man annimmt, dass eine Menge ist, ergibt sich ein Widerspruch. Dies ist auch als Burali-Forti-Paradoxon bekannt.

Beweis[Bearbeiten]

Verwendet wird

(1) Ordinalzahlen enthalten sich nicht selbst als Element
(2) Elemente von Ordinalzahlen sind Ordinalzahlen
(3) Wohlordnung der Klasse aller Ordinalzahlen

Wegen (2) ist transitiv. Ferner ist gemäß (3) durch wohlgeordnet. Wäre die Klasse eine Menge, so wäre eine Ordinalzahl und es würde gelten im Widerspruch zu (1). Folglich ist keine Menge.