« Précis d'épistémologie/Les fondements des mathématiques » : différence entre les versions

Contenu supprimé Contenu ajouté
Annulation des modifications 660065 de Thierry Dugnolle (discussion)
Balise : Annulation
Complément sur les cardinaux
Ligne 133 :
 
L'indénombrabilité est une des raisons de l'incomplétude des fondements des mathématiques. Une théorie ne peut définir qu'un ensemble dénombrable d'ensembles, elle ne peut donc jamais définir tous les éléments d'un ensemble indénombrable, elle ne donne jamais les moyens de remplir complètement les ensembles indénombrables.
 
Deux ensembles ont le même cardinal lorsqu'il existe une bijection de l'un vers l'autre. Cela veut dire qu'on peut identifier tous les éléments de l'un avec les éléments de l'autre. Une bijection de E vers F est une fonction qui a E pour domaine et qui est telle que chaque élément de F a un unique antécédent. Deux ensembles finis qui ont le même cardinal ont donc nécessairement le même nombre d'éléments. Le concept de cardinal généralise le concept de nombre d'éléments aux ensembles infinis. Deux ensembles, finis ou infinis, ont le même cardinal si et seulement si ils ont le même nombre d'éléments. Avec cette définition Cantor a fondé une théorie des nombres infinis.
 
Un ensemble est infini dénombrable lorsqu'il a le même cardinal que l'ensemble des nombres naturels.
 
== Les ensembles bien ordonnés et l'induction infinie ==
 
(...)
 
== Comment les ensembles sont-ils bien définis ? ==