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.
![](http://www.infinitoteatrodelcosmo.it/wp-content/uploads/2016/10/220px-Ernst_Zermelo.jpeg)