Peano Arithmetic

Algebra Level 2

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


You may refer to wiki: Peano axioms.

×

Problem Loading...

Note Loading...

Set Loading...