Este resultado significa que los conjuntos bien ordenados son clasificados hasta isomorfismo por los números ordinales.