Definition:Class of All Cardinals

From ProofWiki
Jump to navigation Jump to search


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$.

Also see

  • Results about the class of all cardinals can be found here.