質問があります
ZFCのあるモデルが存在するとしても、一階述語論理を適当にエンコードし集合論の言語L∈をシミュレートして、その中でフォンノイマン宇宙Vというクラス(は正式には存在しないのでそれを表すL∈の論理式)がZFCのモデルであることは不完全性定理から証明できないですよね
「ZFCのモデルV」とは何者なのでしょうか？