Primer ordinal infinito

El primer ordinal infinito o menor ordinal infinito, designado como ω, es un número ordinal cuyo tipo de orden se puede identificar con el orden total de los números naturales.La definición cobra sentido cuando se tiene en cuenta que un número ordinal se define como un conjunto, por ejemplo los primeros números ordinales se pueden concebir como conjuntos:De hecho, un número ordinal es siempre un conjunto transitivo y bien ordenado, cualquier subconjunto a la vez es un elemento, por ejemplo en la serie anterior puede verse que:Esto permite definir la relación de orden total entre números ordinales:La construcción anterior para los primeros números naturales, repetida un número finito de veces siempre da lugar a un ordinal finito.Pero podemos concebir un conjunto transitivo y totalmente ordenado que no sea finito, por ejemplo podemos considerar una sucesión infinita no acotada:El axioma de infinitud formaliza esta idea al postular que existe un conjuntoPuesto que la teoría de conjuntos axiomática de Zermelo-Fraenkel se postula que dicho conjunto existe, cualquier modelo de esos axiomas incluirá un conjunto con esa propiedad, que se puede identificar con los números naturales.satisface las mismas propiedades que eldel anterior axioma de infinitud si pensamos que cada número entero se definie a partir de sus ancesores comoCualquier modelo para los axiomas ZF contendrá un conjunto transitivo y totalmente ordenado por la relación de pertenenciaque satisface el axioma de inifinitud.Ese conjunto es precisamente el "menor número ordinal infinito", que a su vez usando los otros axiomas de la teoría permite construir más ordinales transfinitos mayores.Todo número ordinal, considerado como conjunto, tiene una cardinalidad.(alef cero) y, como es un cardinal regular, en muchos contextos se suele considerar indistintamente