Infinito enumerable
Si se admite que existe un ordinal límite, tal como lo plantea el axioma del infinito, entonces existe el más pequeño ordinal límite, según el principio de minimalidad. Ese más pequeño ordinal límite -que es también un cardinal- se anota ω0. Él caracteriza el infinito enumerable, el infinito más pequeño, aquel del conjunto de los números enteros naturales, el infinito discreto.
- Todo elemento de ω0 será llamado un ordinal finito.
- ω0 es la "frontera" entre lo finito y lo infinito. Un ordinal infinito es un ordinal que es igual o superior a ω0 (en este caso, el orden es la pertenencia).
(El ser y el acontecimiento: diccionario y apéndices finales de la edición argentina en edit. manantial. (Y es posible que algún comentario propio))
