Peano Addition

Defined recursively:

1. $a+0=a$
2. $a+S(b)=S(a+b)$