Let $\text{Ind}$ be the D2224: Set of inductive sets.
The set of natural numbers is the D11: Set \begin{equation} \mathbb{N} : = \cap \text{Ind} \end{equation}