>>641
調べても分かりませんでした

>>642
普通の人の感覚では到達不能基数の存在を利用したフェルマーの最終定理もヘンテコということになるのでしょうか