\begin{definition}[Definition:Class of Cardinals]
The '''class of cardinals''' is the class consisting of all cardinal numbers:
:$\NN = \set {x \in \On: \exists y: x = \size y}$
where $\size y$ denotes the cardinal number corresponding to $y$.
\end{definition}