« Axiomes de Peano » : différence entre les versions
Contenu supprimé Contenu ajouté
m →Les axiomes de Peano : plus conforme aux sources |
|||
Ligne 18 :
#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.
# Toute partie de <math>\N</math> contenant 0 et stable par ''S'' est égale à <math>\N</math> tout entier (axiome de récurrence).
== Quelques conséquences ==
| |||