# Finite axiomatization of second-order NBG

First-order NBG set theory is finitely axiomatizable. The proof of this basically shows that the axiom schemas, in the presence of the other axioms, can be reduced to a finite set of cases, and are hence equivalent to a finite set of axioms.

Is this equivalence also valid in second-order NBG? Or does the reduction to a finite number of cases only work for definable predicates (e.g. the first order axiom schema)?

• What do you mean by "second-order NBG", exactly? – Eric Wofsey Mar 16 at 23:37
• NBG with the axiom schemas replaced with a second order axiom. Is this term ambiguous? – Mike Battaglia Mar 16 at 23:42
• Well, that is at least somewhat ambiguous (it's not obvious what second-order axiom you're using, given that an essential feature of NBG is that its comprehension schema is restricted to formulas without class quantifiers--is "second-order NBG" the same thing as "second-order MK"?). But in any case, if second-order NBG does not have any axiom schemas, it's unclear what you mean by your question. – Eric Wofsey Mar 16 at 23:46
• I guess there is probably only one reasonable choice for the second-order axiom, and no hope of distinguishing second-order NBG from second-order MK. I still don't know what your question is--are you asking whether second-order class comprehension is equivalent to the finitely many first-order axioms used in NBG? (In that case the answer is obviously not, since the latter are only equivalent to first-order class comprehension.) – Eric Wofsey Mar 16 at 23:58
• Both NBG and MK have a class comprehension schema; the difference is that MK allows formulas with class quantifiers in the schema. That distinction is lost if you replace the schema with a second-order axiom saying "every collection of sets is a class". (Also, NBG usually isn't stated with a replacement schema, since you can just use a class quantifier, and the necessary generality follows from the comprehension schema. This doesn't really make a difference for anything, though.) – Eric Wofsey Mar 17 at 0:13