De la misma manera se demuestra que existen números infinitos (que no tienen nada que ver con los ordinales infinitos o los cardinales infinitos): Para todo "x" estándar existe un "y" mayor (por ejemplo "x" + 1 ), luego existe un "y" ideal mayor que todos los "x" estándares: es por definición un número infinito, lo que se denota formula_13.