1+1 = 2/Proof 1

Theorem
Define $0$ as the only element in the set $P \setminus s \left({P}\right)$, where:
 * $P$ is the Peano Structure
 * $s \left({P}\right)$ is the image of the mapping $s$ defined in Peano structure
 * $\setminus$ denotes the set difference.

The theorem to be proven is:
 * $1 + 1 = 2$

where:
 * $1 := s \left({0}\right)$
 * $2 := s \left({1}\right) = s \left({s \left({0}\right)}\right)$
 * $+$ denotes addition
 * $=$ denotes equality
 * $s \left({n}\right)$ denotes the successor function as defined by Peano

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: