# Peano Arithmetic

Algebra Level 3

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.

×

Problem Loading...

Note Loading...

Set Loading...