Si se asume el axioma de elección, la estructura de los cardinales infinitos es más clara: todos los cardinales infinitos son álefs y están bien ordenados, por lo que existe sólo un cardinal inmediatamente superior a ', denotado por '.