Mathématiques, informatique, politique et poésie
On a défini les opérations de N.
On a les propriétés suivantes :
- Pour l'addition :- \(+\) est associative et commutative
- 0 est l'élément neutre
- \(\mathrm{succ}(k)=k+1\) - Pour la multiplication :
- \(\times\) est associative et commutative
- \(\times\) est distributive par rapport à \(+\)
- 1 est l'élément neutre
- \(0\times n = 0\) pour tout n