next next up down toc toc mail

8.2.  Peano Axioms

Definition 7.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) [not 0
4.
If s (n) = s(m), then m = n


back next up down toc toc mail


Created by unroff & hp-tools. © by Hans-Peter Bischof. All Rights Reserved (1998).

Last modified: 27/July/98 (12:14)