Définition de nombre cardinal
- (nom)Nombre d’éléments d’un ensemble fini. En choisissant une axiomatique suffisante, on peut prolonger cette notion pour les ensembles infinis. Dans la théorie des ensembles de Zermelo-Fraenkel avec axiome du choix, un nombre cardinal est alors défini comme un nombre ordinal (de von Neumann) qui n'est équipotent à aucun ordinal qui lui soit strictement inférieur. Le cardinal d'un ensemble est le plus petit ordinal auquel cet ensemble est équipotent. Cette définition contredit la citation qui suit.