Puede probarse rigurosamente que dada la clase formada por todos los números ordinales, existe un único isomorfismo (de orden) entre esta clase y la clase de los cardinales transfinitos.