No es ninguna sorpresa que los ordinales finitos también son cardinales: entre dos conjuntos con n y m elementos, m y n distintos, no puede haber biyección, por lo tanto tienen cardinales distintos.