User blog comment:Elektrix/Math Problem of the Week.... week 2!/@comment-29331244-20151202070839

You've underestimated the power of Asian man.

Using the Peano Axioms for adding those numbers: ∀n:n+0=n ∀n,m:n+s(m)=s(n+m)

And definition: 1≡s(0) 2≡s(1)≡s(s(0))

Then it got: 1+1≡1+s(0) =s(1+0) by axiom 2 =s(1)≡2 by axiom 1