\begin{definition}[Definition:Gödel-Bernays Axioms]
The '''Gödel-Bernays axioms''' are a conservative extension of the Zermelo-Fraenkel axioms with the axiom of choice (ZFC) that allow comprehension of classes.
Although not the standard axioms of set theory, particularly in category theory, they spare us any paradoxes of the Russell's Paradox type.
== Axioms for Sets ==
The first five axioms are identical to the axioms of the same names from ZFC.
The quantified variables range over the universe of sets.
\end{definition}