Für viele dieser Überlegungen (wie etwa transfinite Induktion und die Definition von Kardinalzahlen als Ordinalzahlen) ist das Auswahlaxiom bzw. der dazu äquivalente Wohlordnungssatz vonnöten.
Hier ließ er das Unendlichkeitsaxiom weg, tauschte das Auswahlaxiom gegen den Wohlordnungssatz aus und ergänzte das Fundierungsaxiom, das zirkelhafte Mengen ausschließt, darunter alle Mengen, die sich selbst als Elemente enthalten.
