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
Set of natural numbers
Definition D1042
Set of digits
Formulation 0
The set of digits is the D11: Set \begin{equation} \mathbb{D} : = \{ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 \} \end{equation}
Children
D217: Set of boolean numbers