>>421
IUT、宇宙（下記）

上記の圏論の宇宙 グロタンディーク宇宙が考えられた時期と平行して
強制法が考えられた
『直観的には、強制法は集合論の宇宙 V をより大きい宇宙 V* に拡大することから成り立っている』(下記)

そして、21世紀のいま、基礎論屋さんは
宇宙といえば、下記強制法の宇宙を連想する
そういう人に教えられた学生も同様だろう

”宇宙と宇宙をつなぐ”？？？
なんじゃらほい ？？？
となるのですｗ　；ｐ）

ここらは、望月さんには理解できないだろうね
グロタンディーク宇宙に関連する 用語「宇宙」しか頭になさそうだ
おそらく 加藤さんもね

ここらが、世間に無用の混乱のもとだった
”宇宙と宇宙をつなぐ”が、引き起こす無用の混乱
だが、それも 初期のわらい話で
もうその時期は過ぎただろう

https://ja.wikipedia.org/wiki/%E5%BC%B7%E5%88%B6%E6%B3%95
強制法
強制法が初めて使われたのは1962年、連続体仮説と選択公理のZFからの独立性を証明した時のことである。強制法は60年代に大きく再構成されシンプルになり、集合論や、再帰理論などの数理論理学の分野で、極めて強力な手法として使われてきた。

直観的意味合い
直観的には、強制法は集合論の宇宙 V をより大きい宇宙 V* に拡大することから成り立っている。 この大きい宇宙では、拡大する前の宇宙には無かった ω = {0,1,2,…} の新しい部分集合をたくさん要素に持っている。 そしてそれにより連続体仮説を否定することができる。が、このような議論は表面上不可能である。

原理的には、次のようなものを考える。
略
強制法はこのアイデアを洗練したもので、新しい集合の存在を認めて利用するというより、拡大された宇宙の性質を元の宇宙からよりよく操作することを許したものである。

コーエンの元々のテクニックは今ではramified forcing（英語版）と呼ばれるもので、強制法の説明によく使われるunramified forcingとは少々異なる。

可算推移モデルとジェネリックフィルター
強制法の鍵となるステップはZFCの宇宙 V に対して、V の要素でない適切な G を見つけることである。 結果としては G によるP-名前の解釈全てによるクラスが元々の V の拡大になるZFCのモデルになるようにする。
略