Kirjoittaessani’s Reviews > Axiomatic Set Theory > Status Update

Das Auswahlaxiom -- immer ein bißchen esoterisch.

Vorbereitungen zur Ordinalzahlenarithmetik.

Rationale Zahlen (eher langweilig: haufenweise Definitionen und Sätze, aus denen man nichts lernt); dann reelle Zahlen als Klassen von Cauchyfolgen. Die sind schon eher spannend, z.B. Beweis der Dichtheit der rationalen Zahlen.

Die natürlichen Zahlen als endliche Ordinalzahlen -- da wird gleich 1+3=4 bewiesen.

Verschiedene Definitionen von "endlich" -- sehr lustig. Dedekind kannte ich, die anderen aber nicht. Danach geht es weiter zu endlichen Kardinalzahlen. Die sind zwar Neuland für mich, aber einfach und einleuchtend.