Is it possible to finitely axiomatize any theory conservatively by some generally applicable trick?
Do the Gödel and Bernays trick work for any set theory like ZFC+large cardinal axioms?
Is it possible to finitely axiomatize some conservative extension of set theory without introducing a new sort (the class sort) or an additional predicate like Gödel's sethood?
Thank you.