This axiom, in combination with the set existence axioms from the previous axiomatization, assures the existence of classes from the outset, and enables formulas with class parameters.
Эта аксиома вместе с аксиомами существования множеств предыдущего раздела позволяет получить начальный набор классов и позволит нам составлять формулы с классами как параметрами.