>>MisterTanguy

Citation de Arithmogenre

Citation de MisterTanguy

ç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)

putain c'est compliqué à comprendre ton truc

Merde en plus ma démo est fausse, il fallait aussi postuler la réflexivité de l'égalité, sinon le passage entre l'avant dernière et la dernière ligne est faux