We now construct canonical examples of the natural numbers, that is, the numbers 0, 1, 2, ..., n, n+1, ...
empty container is zero.
1 is the thing with zero in it.
2 is with 0, 1 in it. ....
Successor operation
the set is the set of numbers below it...
Making maps to count