Von Neumann also used his axiom to prove the well-ordering theorem: Like Cantor, he assumed that the ordinals form a set.
Von Neumann a folosit axioma și pentru a demonstra teorema de bună ordonare: Ca și Cantor, el a presupus că ordinalii formează o mulțime.