Go backward to
Peano Arithmetic
Go up to
Top
Go forward to
Construction from Sets
Illustration
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