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...