User blog comment:LittlePeng9/FOOT is not as strong as I thought/@comment-5529393-20161225200516/@comment-1605058-20170105215710

Actually, how do you formalize in NBG that "all classes are definable from sets"? I can't see how you would formalize this as an axiom or an axiom schema. Also, if NBG* is an extension of NBG (by some axioms), then from ZFC being able to interpret NBG* it automatically follows that ZFC can interpret in NBG.