Category:Gödel-Bernays Class Theory

This category contains results that are consequences of the Gödel-Bernays Axioms.