そもそもZFCでVを特定できたとしたらモデルの存在を自身で証明できることになり不完全性定理に反する。
ZFCのモデルの存在証明はメタ理論によってのみ可能。