>>135
ペアノの公理においてある自然数nの後者をS(n)とすると、
S(0)+S(0)
=S(S(0)+1)
=S(S(0))
=2
従って1+1=2
的な