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.

Alle möglichen Dinge über die natürlichen Zahlen bewiesen.

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.