« Axiomes de Peano » : différence entre les versions
Contenu supprimé Contenu ajouté
Annulation des modifications 673273 de Crochet.david.bot (discussion) + mef + lien wikibooks remplacé par lien interne et plus informatif |
m →Les axiomes de Peano : plus conforme aux sources |
||
Ligne 15 :
# L'ensemble possède un élément particulier que l’on note 0.
# Chaque élément ''n'' possède un successeur que l’on note ''S''(''n'')
#0 n'est le successeur d'aucun élément. # Cette application <math>S:\N\to\N</math> est injective, c'est-à-dire que si deux éléments ont le même successeur, ils sont égaux.
#
== Quelques conséquences ==
| |||