(已知NBG一致性，推导ZFC一致性):假设ZFC不一致，ZFC逻辑爆炸，ZFC中所有命题可被证明，ZFC中“空集=空集” “空集！=空集”这2个具体命题可被证明，NBG中“空集=空集” “空集！=空集”这2个具体命题可被证明（因为NBG是ZFC的保守拓展），NBG不一致，矛盾
然后我看的资料就直接一句，“反向推导同理”……但我仔细想，好像不对
如果是已知ZFC一致，假设NBG不一致的话，那么NBG中“空集=空集” “空集！=空集”这2个命题确实、可以被翻译成ZFC中语法相同的语句的
但是这2个命题的前置的推理过程，未必能从NBG中推理翻译成ZFC中的推理？
比如说NBG中一开始是由于2个关于类的命题造成了语法不一致，然后这2个关于类的命题用到了类公理，因此即便将NBG中的类，在ZFC中强行间接表示，这些类公理在ZFC中是不存在的？？