Morse-Kelley Set Theory

Home > Philosophy > Logic > Set Theory > Morse-Kelley Set Theory

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.