>>62
どうもです
レスありがとう

　>>60の話は、
ω重シングルトンとは別で
IUTと、到達不能基数や、数学的宇宙論のぶっ飛んだ話です

つまり、大風呂敷のグロタンディーク宇宙とか、Von Neumann universeとか
「ZFC内で証明できないけど、存在するぞ！」なんて論法が、通用するのが21世紀の数学なのです（ちょっと誇張していますが）

これは、いまから数学者を目指す人は、意識しておいた方が良いかも
望月IUT：「こんな数体もどきあったら良いな」→「無ければ、圏論で作るぜよ」→「作って、ABCを証明しました」（いまここ）

これを見て、
いろんなことを考える人いるだろうね
a）素晴らし大理論だ
b）なに勝手なことをやっているのか？　理解できない
c）理解できないから、モノドロミーで調べてみると、アウトだ（ショルツェ氏）

でいま、
b)が多数派でしょうね
c）は、ショルツェ氏一人＋尻馬組（理解していないのに、尻馬している人がいる）
a)は、じわじわ増えていると見ています