Mengenlehre[PDF]
Mengenlehre[PDF] Mengenlehre[PDF]
ORDNUNGSERHALTENDE ABBILDUNGENWir wollen zunächst die Ordinalzahlen einführen. Hierzu benötigenwir zunächst den Begriff der Wohlordnung und der ordnungserhaltendenAbbildungen.Ordinalzahlen sind dann anschaulich gerade die möglichen Ordnungstypenvon Wohlordnungen. Formal werden wir sie als spezielleRepräsentanten der Ordnungstypen einführen, bei denen dieOrdnungsrelation < durch die Elementschaftsrelation ∈ realisiertwird.Seien (a,
ORDNUNGSTYPEN VON WOHLORDNUNGENDer (Ordnungs-)Typ typ(a,
- Seite 1 und 2: DER MENGENBEGRIFF NACH CANTORMENGEN
- Seite 3 und 4: ZERMELO - FRAENKEL MENGENLEHREDer p
- Seite 5 und 6: Das Extensionalitätsaxiom erlaubt
- Seite 7 und 8: DAS ERSETZUNGSAXIOMDas Ersetzungsax
- Seite 9: ANMERKUNGEN ZUR KONSISTENZ VON ZFWi
- Seite 13 und 14: ORDINALZAHLARITHMETIK: MULTIPLIKATI
- Seite 15 und 16: VERGLEICH VON KARDINALITÄTENWir sa
ORDNUNGSTYPEN VON WOHLORDNUNGENDer (Ordnungs-)Typ typ(a,