# Peano Arithmetic

Let $S(\cdot)$ be the successor function in natural number set $\mathbb N$. Compute $S(S(S(0)))+S(S(S(S(S(0))))) \; .$

You may refer to wiki: Peano axioms.

×