Go backward to Peano ArithmeticGo up to TopGo forward to Construction from Sets |

The natural numbers are a single infinite chain

0 -> 0' -> 0" -> 0"' -> ...

- Chain starts with 0.
- Every application of ' yields a new natural number.
- Every natural number is captured by the chain.

Author: Wolfgang Schreiner

Last Modification: November 16, 1999