Arithmogenre
>>MisterTanguy
En partant des 4 axiomes :
1 - Un nombre noté 0 existe
2 - Tout nombre X a un successeur noté succ(X)
3 - X+0 = X
4 - succ(X) + Y = X + succ(Y)
On définit 1 comme succ(0) et 2 comme succ(succ(0))
On pose X = 0 et Y = succ(0)
succ(0) + succ(0) = 0 + succ(succ(0)) (Axiome 4)
1 + 1 = 0 + 2
1 + 1 = 2 (Axiome 3)
ça fait combien 1+1 stp tu peux me dire la réponse ?
En partant des 4 axiomes :
1 - Un nombre noté 0 existe
2 - Tout nombre X a un successeur noté succ(X)
3 - X+0 = X
4 - succ(X) + Y = X + succ(Y)
On définit 1 comme succ(0) et 2 comme succ(succ(0))
On pose X = 0 et Y = succ(0)
succ(0) + succ(0) = 0 + succ(succ(0)) (Axiome 4)
1 + 1 = 0 + 2
1 + 1 = 2 (Axiome 3)
