Esta función, llamada formula_23 (Álef), induce un buen orden en los cardinales, y de aquí proviene la notación formula_24 para el primer cardinal infinito, formula_25 para el siguiente, etc.