Aleph-zéro
cardinal de l'ensemble des entiers naturels ou plus généralement de tout ensemble non fini, bien ordonné et dénombrable
From Wikipedia, the free encyclopedia
En mathématiques, le cardinal de l'ensemble des entiers naturels, et donc, par équipotence, le cardinal de n'importe quel ensemble infini dénombrable, est noté et se lit aleph-zéro. C'est, par définition, le premier dans la suite indexée par les ordinaux des alephs, une suite d'ordinaux définie par Georg Cantor pour représenter tous les cardinaux infinis[1].
Si l'on admet l'axiome du choix, alors est le plus petit cardinal infini[2],[3], au sens où tout ensemble infini contient un sous-ensemble infini dénombrable[4].
