▾ Set of symbols
▾ Alphabet
▾ Deduction system
▾ Theory
▾ Zermelo-Fraenkel set theory
▾ Set
▾ Collection of sets
▾ Set union
▾ Successor set
▾ Inductive set
▾ Set of inductive sets
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
Child definitions
» D3202: Basic natural number set density
» D3200: Lower basic natural number set density
» D1042: Set of digits
» D4595: Set of Fibonacci numbers
» D367: Set of integers
» D3201: Upper basic natural number set density