20/04/20 12:11:03 jS1N2Wjo.net
>>781
>>数学基礎論的・論理学的に非自明な操作
>おそらく具体的には「巨大基数の存在を前提する」とかいう話かと思われ
>そういうことは必要ない、というのがリンク先の文書の主旨
おサル違うよ
望月IUTは、圏論ベースだから
そもそも、グロタンディークの数学だし
到達不能基数を含む グロタンディーク宇宙の数学だよ
それに”操作”というキーワード落として
”「巨大基数の存在を前提する」とかいう話かと思われ”なんて回答は
問いに正面から答えてないぜ
(国語でアウトだな)
(そもそもが、山下解説が怪しいのだけれどw(^^; )