Axiom:Axiom of Limitation of Size
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.