**set of digits**is the D11: Set \begin{equation} \mathbb{D} : = \{ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 \} \end{equation}

▾ 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

▾ 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

The **set of digits** is the D11: Set
\begin{equation}
\mathbb{D}
: = \{ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 \}
\end{equation}

Child definitions