Topic summary
Proper classes
Extracted from the Wikipedia article Class (set theory).
Classes in formal set theories
Morse–Kelley set theory admits proper classes as basic objects, like NBG, but also allows quantification over all proper classes in its class existence axioms. This causes Morse–Kelley set theory to be strictly stronger than both NBG and ZFC.