8.2. Peano Axioms
Definition 7.1 (Peano Axioms)
0 is a natural number.
For every natural number x there exists
another natural number s(x) called the successor of x.
For all n, s(n) 0
If s (n) = s(m), then m = n
Created by unroff & hp-tools.
© by Hans-Peter Bischof. All Rights Reserved (1998).
Last modified: 27/July/98 (12:14)