>>749
>Terence Tao “big picture”レベルに到達していない！
>だから、トンチンカン
>(中略)
>「フェルマーの最終定理はZFCの下で証明できるか？」
>もし グロタン宇宙がノイマン宇宙の元なら 当然 答えはＹ
>だが、池上大祐氏は、自分には判断できないという
>つまり、グロタン宇宙を使った代数幾何→数論幾何で 証明されたが
>グロタン宇宙を使わない ZFCだけで証明できるかどうか 分らないという

大きな圏が必要不可欠と思うのは
大きな絵しか見えない素人だけ

数学では圏は適宜小さな圏に縮小して扱える
そういう小さな技巧を知らん素人が
「圏論は集合論を超えました！」
と絶叫してフッチーノ氏とかに
たしなめられる（笑）

数学分からん素人🐒は俗界🐒⛰に帰れ