Go backward to Go up to TopGo forward to Peano Arithmetic |

- The numbers of
*counting*distinct objects.no object, one object, two objects, ...

- Axiomatic characterization.
- Describe
*properties*of natural numbers. - Peano axioms.

- Describe
- Set-theoretic construction.
- Numbers are defined as sets.
- Definition satisfies Peano laws.

*Two ways to introduce the natural numbers.*

Author: Wolfgang Schreiner

Last Modification: November 16, 1999