Axiom:Axiom of Limitation of Size

From ProofWiki
Jump to navigation Jump to search

Axiom

For any class $\CC$, a set $x$ such that $x = \CC$ exists if and only if there is no bijection between $\CC$ and the universal class.