Beweisarchiv: Mengenlehre: Ordinalzahlen: Elemente

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

Elemente von Ordinalzahlen sind ihrerseits Ordinalzahlen.

Beweis

Sei $x$ Ordinalzahl und $y\in x$ . Sei $u\in v\in y$ . Per Transitivität von $x$ folgt $v\in x$ und dann auch $u\in x$ . Weder $v$ noch $y$ können das $\in$ -minimale Element von $\{u,v,y\}\subseteq x$ sein, also folgt Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „http://localhost:6011/de.wikibooks.org/v1/“:): {\displaystyle u\in y} . Mithin ist $y$ transitiv. Da aus Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „http://localhost:6011/de.wikibooks.org/v1/“:): {\displaystyle y\in x} per Transitivität $y\subseteq x$ folgt, ist Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle y} als Teilmenge einer wohlgeordneten Menge wohlgeordnet. Insgesamt ist $y$ also eine Ordinalzahl.