3 ms·
No, that's a consequence of the Peano axioms. 1 and 2 are just a short notation of S(0) and S(S(0)), respectively.
by moasda 6y ago
No, that's a consequence of the Peano axioms.
1 and 2 are just a short notation of S(0) and S(S(0)), respectively.