<前スレ 880-881より再録>
検索漏れがいやで univers で 両方をヒットさせていたのだが
問題は、望月IUT論文では各ページのヘッダーに”INTER-UNIVERSAL”があって こいつが邪魔
いま、universe を検索ワードにすると

https://www.kurims.kyoto-u.ac.jp/~motizuki/papers-japanese.html
望月 論文
https://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20Teichmuller%20Theory%20I.pdf
[1] Inter-universal Teichmuller Theory I: Construction of Hodge Theaters. PDF NEW !! (2020-05-18)
では 2カ所 雑談のみ

https://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20Teichmuller%20Theory%20II.pdf
[2] Inter-universal Teichmuller Theory II: Hodge-Arakelov-theoretic Evaluation. PDF NEW !! (2020-12-23)
では 30カ所（但しP6〜7に10カ所で、あとは例の）

https://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20Teichmuller%20Theory%20III.pdf
[3] Inter-universal Teichmuller Theory III: Canonical Splittings of the Log-theta-lattice. PDF NEW !! (2020-05-18)
では 0カ所（ヒットなし）

https://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20Teichmuller%20Theory%20IV.pdf
[4] Inter-universal Teichmuller Theory IV: Log-volume Computations and Set-theoretic Foundations. PDF
　　NEW !! (2020-04-22)
では 30カ所（うち10ヒットがP6-7で、20ヒットがP67 ”Section 3”の 本論外）

で、IUT IVで 30カ所のうち
10ヒットがP6-7で
(引用開始)
hence to new Galois or ´etale fundamental groups,whichmay only be constructed if one allows oneself to consider new basepoints, relative to new universes. In particular, one must continue to extend the universe, i.e., to modify the model of set theory, relative to which one works. Here, we recall in passing that such “extensions of universe” are possible on account of an existence axiom concerning universes, which is apparently attributed to the “Grothendieck school” and, moreover, cannot, apparently, be obtained as a consequence of the conventional ZFC axioms of axiomatic set theory
・・・
P7
If, instead of working species-theoretically, one attempts to document all of the possible choices that occur in various newly introduced universes that occur in a construction, then one finds that one is obliged to work with sets, such as sets obtained via set-theoretic exponentiation, ofvery large cardinality.・・
である

まとめると
1）IUT I〜IIIでは、用語”universe”は、お話のみで 数学としては扱われていない
2）IUT IVで 30カ所の内、後半20カ所は 例の”Section 3”の基礎論 漫談で 本論外
　前半10カ所も 私見だが 基礎論 漫談で IUT不等式とは 直接の関係はないと読みました

なので、結論としては 用語”universe”は 631 テレンス・タオ 「用語宇宙は "red herring" 」に賛成です
（主観として 望月氏は 用語宇宙には こだわりが あるようだが）
これが結論だね
以上