PommeBlanche

On veut montrer que 1 + 1 = 2 en arithmétique de Peano,
s(0) + s(0) = s(s(0))
s(0) + s(0)
= s(s(0) + 0)
Donc = s(s(0))

Tu ne dis pas les axiomes que tu utilises, ni les notations du coup osef.
Utiliser les axiomes de peano = puceau, il faut utiliser uniquement les axiomes logiques de russel

Tant que j'ai l'air intelligent ça me va.