20/04/23 13:44:13 Ayy0wuIh.net
>>263
＞＞V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ∈ V
＞自分の主張「グロタンディーク宇宙は只一つ！」を
＞愛する望月に、真正面から否定され
別に応援はするが、おサルのように”愛する”はないわなｗ
ところで、冒頭の”V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ∈ V”と
「グロタンディーク宇宙は只一つ！」がどう繋がるのかな？ｗ
そのV0 ～ Vn と V と全てが、グロタンディーク宇宙なのか？ｗ
なお、IUT IVの関連の下記の部分読んだか？ｗｗ（＾＾
（参考）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
INTER-UNIVERSAL TEICHMULLER THEORY IV:LOG-VOLUME COMPUTATIONS AND SET-THEORETIC FOUNDATIONS
Shinichi Mochizuki April 2020
(抜粋)
P68
Although we shall not discuss in detail here the quite difficult issue of whether or not there actually exist ZFCG-models, we remark in passing that it may be possible to justify the stance of ignoring such issues in the context of the present series of papers
- at least from the point of view of establishing the validity of various “final results” that may be formulated in ZFC-models -
by invoking the work of Feferman [cf. [Ffmn]].
Precise statements concerning such issues, however, lie beyond the scope of the present paper [as well as of the level of expertise of the
author!].
In the following discussion, we use the phrase “set-theoretic formula” as it is conventionally used in discussions of axiomatic set theory [cf., e.g., [Drk], Chapter 1,§2],
with the following proviso: In the following discussion, it should be understood that every set-theoretic formula that appears is “absolute” in the sense that its validity for a collection of sets contained in some universe V relative to the model of set theory determined by V is equivalent, for any universe W such that V ∈ W,
to its validity for the same collection of sets relative to the model of set theory determined by W [cf., e.g., [Drk], Chapter 3, Definition 4.2].