>Vの内部にV[G]を構築し
君はV[G]⊂Vだと言っている?
仮にそれが本当なら強制法使わなくてもCHがZFCから独立であること示せるじゃん だってVで事足りるんだから 大は小を兼ねるでしょ?