>>655 追加引用
(参考引用)
https://www.kurims.kyoto-u.ac.jp/~motizuki/travel-japanese.html
https://www.kurims.kyoto-u.ac.jp/~motizuki/Suuronteki%20log%20scheme%20no%20kenrontekihyouji%20kara%20mita%20daen%20kyokusen%20no%20suuron%20(Hokudai%202003-11).pdf
[10] 数論的log schemeの圏論的表示から見た楕円曲線の数論　（北海道大学 2003年11月）. PDF

P2
重要なポイント
「IUキカ（幾何）」
局認型 'a'　'日本語型'
つまり、○ウ（宇宙）を拡大していくとき
{{{{a1,b1},a2,b2},a3,b3},a4,b4}・・・
「aiはa1さんのi代目の子孫」→「通常の集合論」(全知型)'the'　'英語型'}ラベルの仕組み
ではなく
「aiは(∃a型のキカ(幾何))」
　↑
○ウ（宇宙）の特定によらない記述

・・cf.
Frob/Fp：Fp[t]→Fp[t^1/p]→Fp[t^1/p^2]→・・
　　　　　↑　　　　　↑
　　　　ここ上の　　ここ上の
　　　　代数キカ　　代数キカ
　　　　(幾何)　　　(幾何)

’一種の解析・極限’
　↓
ここまで行けば
「a∈a」の解が！

’代数(=極限への近似しかできない)’
(引用終り)

＜所感＞
・これだけ読んでも分からんが
・多分、その場で聞いていた北大の人も。「ポカーン」でしょうね
・でも、望月先生は、大真面目で真剣だったと思う
・なお「○ウ（宇宙）を拡大していくとき
　{{{{a1,b1},a2,b2},a3,b3},a4,b4}・・・」と記されている。これが、望月氏の考える”宇宙”なのでしょうかね？
　（私見では、これ ”{{{{a1,b1},a2,b2},a3,b3},a4,b4}・・・”って、普通に集合でしょ？ ”宇宙”って大袈裟すぎる、これだけならば）
・なお、「a∈a」の解か。 ”「属性方程式」 a∈a を解きたい”？>>655 、さっぱり意味不明です

正直、分かりません。が
∈と ’基礎の公理’により、「通常の集合論では有り得ない。」 の関連記述を
IUT IVの付録に、あれだけ詳しく解説したのは、
この北大講義 2003年と類似のことが、IUT本論文中にあるからなのでしょうね、多分
ショルツェ氏が、はまったドツボもここらでは と思う今日この頃です