Definition:Natural Numbers/Natural Numbers in Real Numbers
Let $\R$ be the set of real numbers.
Then the natural numbers $\N$ are defined as:
- $\N := \displaystyle \bigcap \mathcal I$
where $\displaystyle \bigcap$ denotes intersection.
It follows from the definition of inductive set that according to this definition, $0 \notin \N$.
- Results about the natural numbers in $\R$ can be found here.