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"' -> ...

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