donde empieza el infinito
Ya hemos visto que una unión cualquiera de ordinales es un ordinal. Si tomamos una unión finita de ordinales finitos, fabricamos un ordinal finito. Para obtener el primer ordinal infinito tenemos que reunir un número no finito de ordinales finitos. Haciéndolo, siempre caemos en el mismo conjunto, construido al reunir todos los ordinales finitos, es decir los naturales. El conjunto de todos los naturales, ℕ, es pues el primer ordinal infinito, lo que no debería sorprender, y lo notamos en este contexto ω (omega).