« Précis d'épistémologie/Les fondements des mathématiques » : différence entre les versions
Contenu supprimé Contenu ajouté
Complément sur les cardinaux |
|||
Ligne 137 :
Un ensemble est infini dénombrable lorsqu'il a le même cardinal que l'ensemble des nombres naturels.
Cantor a montré qu'un ensemble ne peut pas avoir le même cardinal que l'ensemble de ses parties. Il en a conclu qu'il y a de nombreux nombres infinis, pas seulement le nombre des nombres naturels.
== Les ensembles bien ordonnés et l'induction infinie ==
| |||