Fini

[ Definition ]
Un ordinal est dit fini si tout ordinal non vide inclus dans cet ordinal admet un prédécesseur. On appelle aussi entier naturel un ordinal fini.
En savoir plus