La congettura che ogni insieme può essere ben ordinato presupposta da Cantor , fu dimostrata da Zermelo con il teorema sul buon ordinamento. Tale teorema ci porta immediatamente ad un'importante conseguenza; gli ordini d'infinito di due insiemi qualsiasi sono sempre confrontabili.
