>>5
>ここでの議論のために、用語を整理しましょう
>宇宙：素朴集合論ベン図の宇宙Uを Uven、基礎論の宇宙をUfnd、望月氏独自用語の宇宙Umtz
>（fnd：Foundations of mathematics）
素朴集合論ベン図の宇宙とは全体集合のこと？
さすがにそれだけでは宇宙とは呼ばれないのではと思いますが
どういうものを指しているんでしょうか？
基礎論の宇宙とはすべての集合のクラスであるノイマン宇宙のこと？
望月氏独自用語の宇宙という言い方をするということは
IUT界隈でも宇宙際の宇宙はグロタン宇宙のことではないというのが共通認識なんでしょうか？
>＜以下 望月氏独自用語の宇宙Umtz について＞
>https://collas.perso.math.cnrs.fr/documents/Collas-Anabelian%20Arithmetic%20Geometry-IUT.pdf
>ANABELIANARITHMETICGEOMETRY-ANEWGEOMETRYOF FORMSANDNUMBERS:Inter-universalTeichmüllertheoryor “beyondGrothendieck’svision” BenjaminCollas‡Version12/04/2024
>P13 Fig. 13. Inter-universal Teichmüller theory.
>注）Fig. 13の 右の端の図で 浮き輪が二つある。 間をθ-link がつなぐのです
>この 左右浮き輪が 二つの宇宙で θ-link がつなぐから 宇宙際らしい（どこか別の文献にもあった気がするが 見つからないので これで代用）
この図の意味が分かってますか？