25/11/04 07:28:47.17 yzUd5nV9.net
>>110
>>2）池上大祐の答えは「現状では グロタンディーク宇宙は必要」
>> ということだった
>2025年3月号のその記事の何ページの何行目に書かれてますでしょう？
ご苦労さまです
いま手元にないので、記憶で書くと
1）池上大祐記事の最後の結論は
フェルマーの最終定理の証明に、将来にわたって
グロタンディーク宇宙なしのZFCだけの証明が可能かどうかは不明
2）現状では、グロタンディーク宇宙を使った
グロタンディークのEGAやSGAの議論とその発展形の数学が使われている
ということだったと
記憶している
(参考)
URLﾘﾝｸ(en.wikipedia.org)
Grothendieck universe
URLﾘﾝｸ(ja.wikipedia.org)
グロタンディーク宇宙