ThmDex – An index of mathematical definitions, results, and conjectures.
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
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}
Children
Basic natural number set density
Lower basic natural number set density
Set of Fibonacci numbers
Set of digits
Set of integers
Upper basic natural number set density