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