« Axiomes de Peano » : différence entre les versions
Contenu supprimé Contenu ajouté
m Robot : Changement de type cosmétique |
|||
Ligne 34 :
== Conclusion ==
Ces axiomes permettent de ''démontrer'', et non plus d'''admettre'', toutes les propriétés des deux opérations de base.
Ainsi il est très facile, voire amusant, de démontrer par des récurrences
*pour l''''addition''':
**La commutativité
**L'associativité.
*pour la '''multiplication''':
**La commutativité
**L'associativité
| |||