Beweisarchiv: Mengenlehre
Aus Wikibooks
Beweisarchiv: Mengenlehre
- Injektivität Surjektivität Bijektivität: Faktoren - Komposition - Linksinverse - Linkskürzbarkeit - Rechtsinverse - Rechtskürzbarkeit
- Mächtigkeiten (Kardinalzahlen): lineare Ordnung - Kardinalität und Bijektionen - Potenzmenge
- Deskriptive Mengenlehre: Satz von Young
- Rechenregeln für Mengenoperationen: Assoziativgesetze - Distributivgesetze - Differenzgesetze
- 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
