User:Dfeuer/Definition:Natural Number

Definition

Let $x$ be a set.

Then $x$ is a natural number iff for all sets $a$:

If $a$ is inductive then $x \in a$.