« Axiomes de Peano » : différence entre les versions
Contenu supprimé Contenu ajouté
→Introduction : Nombre entier entré trop grand, de nature à perturber les étudiants novices. |
m Robot : Remplacement de texte automatisé (- l'on + l’on ) |
||
Ligne 14 :
Leur ensemble est l'ensemble <math>\N</math> et est défini par les axiomes de Peano:
# L'ensemble possède un plus petit élément que
# Chaque élément n possède un successeur que
# Si deux éléments ont le même successeur, ils sont égaux.
# Tout sous-ensemble de <math>\N</math> contenant 0 et tous les successeurs de ses propres éléments est confondu avec <math>\N</math>. (Axiome de récurrence)
| |||