Definition:Natural Numbers/Inductive Set Definition

From ProofWiki
Jump to navigation Jump to search

Definition

Let $x$ be a set which is an element of every inductive set.

Then $x$ is a natural number.




Sources