25/11/05 11:38:01.72 Z1J+lKlF.net
>>243
カラスの世田は、数セミの記事すら、まともに読解できない（笑）
ーーーーーーーーーーーーーーーーーーーーーーー
数学セミナー 2025年3月
集合論の雑学 無限についてのおはなし 池上大輔
連載 第12回
フェルマーの最終定理はZFCの下で証明できるか？
グロタンディーク宇宙と到達不可能基数
１．イントロダクション
学部生時代に後輩が院生の先輩にした質問
「フェルマーの最終定理の証明に
グロタンディーク宇宙の存在を仮定するらしい
グロタンディーク宇宙の存在って
ZFCから導けないと聞いた
フェルマーの最終定理ってZFCの下で証明できるの？」
先輩の回答
「基礎論やってる池上君に聞けよ」
著者（池上氏）の答え
「わからない・・・」
２．おはなしの前に
質問の答えがＹｅｓかＮｏか考えるには
グロタンディーク宇宙の存在を仮定せずに
フェルマーの最終定理を証明できるかどうか
考える必要があるが
フェルマーの最終定理を精査するだけの
代数学の知識が私にはないので答えられない
ちなみに
フェルマーの最終定理が
ZFCの下で証明できれば
ZFの下でも証明できる
（第８回にて紹介
ゲーデルの構成可能宇宙Ｌを用いて
ZFCでの証明をZFでの証明に書き換えられるため）
（つづく）