Von Neumann�Bernays�G�del Set Theory (NBG)

• Conservative extension of ZFC.
• Sets and classes are both present.
• Finitely axiomatizable.