>>227

だから、フェルマーの定理だってペアノ公理系から
（その肯定も否定も）導けるか、どうかは分かって
ないよ。数学者が証明したということと公理系から
形式的に導けるということは別物なの。

これが分かってないと、中村教授の「完全証明」と
いう言葉で誤解をしてしまう素人さんの一人に入る。