1+1 = 2/Proof 1

Proof
$1$ is defined as $s \left({0}\right)$ and $2$ as $s \left({s \left({0}\right)}\right)$.

Therefore the statement to be proven becomes:


 * $s \left({0}\right) + s \left({0}\right) = s \left({s \left({0}\right)}\right)$

Thus: