重要なのは
Vの中で全ての操作を行っているということ
彼の人が良く引用するのはこれだったかな？
https://konn-san.com/math/boolean-valued-model-and-forcing.html
ここで行っている全ての操作はVの中でのモノ
そこでVBを作りそれがV[G]と見なせることおよび
その「中」にVがあると見ても良いことが示されているが
ここでいう「中」にあるというのは
実数体が超実数体に埋め込まれているというのと同様
Vをその部分クラスであるVBの「中」に埋め込んで
同一視をしているだけのこと
VB（V[G]）の中でもOrdはVのものと同じ
つまり
当然なことだが到達不能基数もVのOrdの「中」にある
ZFCではそれが到達不能基数であると証明できないだけ
（証明できたらZFCが自分自身の無矛盾性を証明したことになってゲーデルの第二不完全性定理に反してしまう）