Dass die Ordinalzahl mit 0 definiert sei (was übrigens nur für die Definition von als Menge nach von Neumann gilt!), ist nun aber gerade kein Argument dafür, die 0 in diesem Artikel zu ergänzen: Die Abbildung ist ein Ordnungsisomorphismus zwischen den beiden Wohlordnungen .