Definition:Class of Cardinals

From ProofWiki
Jump to navigation Jump to search

Definition

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

$\mathcal N = \left\{{x \in \operatorname{On}: \exists y: x = \left|{y}\right|}\right\}$

where $\left|{y}\right|$ denotes the cardinal number corresponding to $y$.


Sources