cours/addition sur N.md

up::définition axiomatique de N #maths #maths/logique

---

[!definition] Addition sur \mathbb{N} On définit l'addition avec :

• x + 0 := x
• x+ s(y) := s(x+y) (on admet que l'addition est commutativité)