# 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.