>>647
>誰かが通常のZFCよりも強力な公理（到達不能基数の存在公理）を持ち出して証明するって
> （仮にその新しい証明がたとえWilesのよりもエレガントだったとしても）数学的にはあまり意味がないよね（最初の証明ならともかく、既により弱い
> 公理系で証明済のを強力な公理系でエレガントに証明し直すって単なる　【牛刀をもって鶏を割く】　の類でしょ）
基礎論にそんなかっこいいことできたためしないよ
確かグロタンディーク宇宙っていう集合論のモデルの存在が巨大基数公理と同値とかなんとかで
グロたんの構築した概念使う限りは巨大基数公理の存在を認めざるを得ないとかなんとか
けど精査したらWilesの証明にはそこまで仮定する必要なくって選択公理も不要で
ZFで十分だったんだって