Natural Numbers form Inductive Set/Proof 2

Proof
By the given definition of the natural numbers:


 * $\N = \bigcap \II$

where $\II$ is the collection of all inductive sets.

The result is a direct application of Intersection of Inductive Sets is Inductive Set.