ThmDex – An index of mathematical definitions, results, and conjectures.
Formulation F1597 on D686: Class of ordinal numbers
F1597
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}