その状況が思いつきません。ZFCのモデルは最初から複雑なので、「正しいことが知られている」状況にはならないんじゃないでしょうか。