25/11/03 16:36:20.99 u7vdmd1+.net
ｽﾚﾘﾝｸ(math板:944番)
ワイルズによるフェルマー予想の証明は、ZFCGによるものかもしれんが
それだけでは、ZFCでは証明できない、とはいえない
ZFCで証明できない、というには
ZFCのモデルで、フェルマー予想が偽になるものが存在する
と示さなくてはならない
残念ながらこんな基本的な数理論理学の知識すら
大抵の数学者は持ち合わせていない
おそらく、自然数論のモデルは唯一無二だと
漫然と思い込んでいるのだろう
ゲーデルが聞いたら嘆くところだ
（彼による一階述語論理の完全性定理と、自然数論における非決定性命題の具体的構成から
一階述語論理上の自然数論のモデルは唯一無二ではありえないことが分かる）