Definition:Natural Numbers/Inductive Sets in Real Numbers

From ProofWiki
Jump to navigation Jump to search

Definition

Let $\R$ be the set of real numbers.

Let $\II$ be the set of all inductive sets defined as subsets of $\R$.


Then the natural numbers $\N$ are defined as:

$\N := \displaystyle \bigcap \II$

where $\displaystyle \bigcap$ denotes intersection.


It follows from the definition of inductive set that according to this definition, $0 \notin \N$.


Also see

  • Results about the natural numbers in $\R$ can be found here.


Sources