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) 0
 4.

If s (n) = s(m), then m = n
Created by unroff & hptools.
© by HansPeter Bischof. All Rights Reserved (1998).
Last modified: 27/July/98 (12:14)