>>813-817
呼んだか？ｗ

望月先生は、北海道大学 2003年11月のPDF 下記
で§1.1 Motivation
"F1上のキカが必要"
と書いている

着想は、"F1上のキカ"だろうが
それが、「圏のIU幾何」、
”§1.2 IUキカによる「解消」：一言でいうと 宇宙(universe)の拡大を使ってラベルを貼る”
になったってことよ

(参考)
https://rio2016.5ch.net/test/read.cgi/math/1761878205/5
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
P1
§1 圏のIU幾何
§1.1 Motivation
"F1上のキカが必要"
　↓
"「属性方程式」a∈aを解きたい"
→”通常の集合論を拡大する必要が有る”
§1.2 IUキカによる「解消」：一言でいうと 宇宙(universe)の拡大を使ってラベルを貼る。