[opnitro]

For natural numbers you can form that first one in terms of the second one. Natural number can be through of as an inductive construction.

Either:

- Zero

- 1+ (another natural number)