Widerspruch, der auf der Annahme beruht, es gäbe die Menge ON aller Ordinalzahlen (Kardinalzahlen und Ordinalzahlen): ON wäre dann selbst eine Ordinalzahl, d. h., es folgte ON ∈ ON. Man kann andererseits zeigen, daß sich eine Ordinalzahl nie selbst enthalten kann.