all, section 7.2.
7.2. Peano Axioms
Definition 3.1 (Peano Axioms)
-
- 1.
-
0 is a natural number.
- 2.
-
For every natural number x there exists
another natural number s(x) called the successor of x.
- 3.
-
For all n, s(n) ≠ 0
- 4.
-
If s (n) = s(m), then m = n
Created by unroff & hp-tools.
© by Hans-Peter Bischof. All Rights Reserved (1997).
Last modified 22/May/97
