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

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

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

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

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

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