>>137
ZFC集合論の宇宙Vはそもそも架空の存在だけどね。ZFCでVの存在を証明できたら不完全性定理に反するから。
証明しようと思ったらZFCU（ZFC+宇宙公理）などのメタ理論が必要になる。