Category:Natural Numbers in Real Numbers

From ProofWiki
Jump to navigation Jump to search

This category contains results about the natural numbers in $\R$.

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 := \ds \bigcap \II$

where $\ds \bigcap$ denotes intersection.

Pages in category "Natural Numbers in Real Numbers"

This category contains only the following page.