1+1 = 2

Theory
1+1=2.

Proof
Define 1 as s(0) and 2 as s(s(0)). Therefore the statement to be proven becomes:
 * $s(0)+s(0)=s(s(0))$

Proof: