Category:Class of All Cardinals

From ProofWiki
Jump to navigation Jump to search

This category contains results about Class of All Cardinals.

The class of all cardinals is the class consisting of all cardinals:

$\NN = \set {x \in \On: \exists y: x = \size y}$

where $\size y$ denotes the cardinal corresponding to the set $y$.