Morse-Kelley Set Theory is an extension of Zermelo-Fraenkel Set Theory that includes proper classes and strengthens the axioms for set existence and set comprehension.
Morse-Kelley Set Theory is an extension of Zermelo-Fraenkel Set Theory that includes proper classes and strengthens the axioms for set existence and set comprehension.