Morse�Kelley Set Theory (MK)

• Stronger than NBG.
• Allows full class quantification.
• Not finitely axiomatizable unless restricted.