\begin{definition}[Definition:Natural Numbers/Inductive Set Definition]
Let $x$ be a set which is an element of every inductive set.
Then $x$ is a natural number.
{{expand|Context needs some explanation}}
\end{definition}