« Axiomes de Peano » : différence entre les versions
Contenu supprimé Contenu ajouté
m Bot : Remplacement de texte automatisé (-\b([dD]['’])aucun(e?)\b +\1aucun\2s) |
Annulation des modifications 77575 de Crochet.david.bot |
||
Ligne 7 :
#L'ensemble possède un plus petit élément que l'on note 0 et est infini.
#Chaque élément n possède un successeur que l'on notera S(n) ou n+ et 0 n'est le successeur d'
#Si deux éléments ont le même successeur, ils sont égaux.
#Tout sous-ensemble de <math>\mathbb{N}</math> contenant 0 et tous les successeurs de ses propres éléments est confondu avec <math>\mathbb{N}</math>. (Axiome de récurrence)
| |||