>>475
V[G]の作り方を見れば
V[G]⊂V
は自明よ
>CHがZFCから独立であること示せるじゃん
ZFC+CHもZFC+¬CHもZFCの中にそれらのモデルを作ってんじゃん
ZFC+CHはL
ZFC+¬CHはV[G]
VはZFC+CHのモデルではないしZFC+¬CHのモデルでもないってだけ