**class of ordinal numbers**is the D684: Class \begin{equation} \mathsf{Ord} : = \{ \alpha \mid \alpha \text{ is an ordinal number} \} \end{equation}

▾ Set of symbols

▾ Alphabet

▾ Deduction system

▾ Theory

▾ Zermelo-Fraenkel set theory

▾ Set

▾ Transitive set

▾ Ordinal number

▾ Alphabet

▾ Deduction system

▾ Theory

▾ Zermelo-Fraenkel set theory

▾ Set

▾ Transitive set

▾ Ordinal number

Formulation 0

The **class of ordinal numbers** is the D684: Class
\begin{equation}
\mathsf{Ord} : = \{ \alpha \mid \alpha \text{ is an ordinal number} \}
\end{equation}

Also known as

Class of ordinals

Child definitions