NBG set theory successfully formalizes proper classes as primitive objects with well-defined members...
This proposition has not been edited since the history system was added.