ThmDex – An index of mathematical definitions, results, and conjectures.

Processing math: 100%

Definition D225

Set of natural numbers

Formulation 0

Let

$\text{Ind}$ be the D2224: Set of inductive sets.
The set of natural numbers is the D11: Set

$\begin{equation} \mathbb{N} : = \cap \text{Ind} \end{equation}$

Also known as

Set of unsigned integers

Children

▶	D3202: Basic natural number set density
▶	D3200: Lower basic natural number set density
▶	D4595: Set of Fibonacci numbers
▶	D1042: Set of digits
▶	D367: Set of integers
▶	D3201: Upper basic natural number set density