Definition:Natural Numbers/Construction

Definition
The natural numbers $\N$ can be constructed in the following ways: