証明が不可能なもの～

質問

かつて、フェルマーの最終定理は、証明が難しく長い間、数学者を悩ましたものでしたが、
近年、その証明が、完成しました。　この定理は、証明が難しいのではなく、証明が不可能なのだと、
言っている人もいました。

所で、数学界において、真偽が解らなくて、かつ、それの証明が不可能なものって、存在しますか？

回答No.2

morimot703 · ベストアンサー

連続体仮説と選択公理

ゲーデルの不完全性定理により、証明も反証もできない定理は無数に存在することが証明されています。
証明か反証できれば、真偽がはっきりわかります。
証明が不可能つまり、証明も反証もできない定理は、真偽が言えません。
詳しくは、、、
http://ja.wikipedia.org/wiki/%E3%82%B2%E3%83%BC%E3%83%87%E3%83%AB%E3%81%AE%E4%B8%8D%E5%AE%8C%E5%85%A8%E6%80%A7%E5%AE%9A%E7%90%86

お礼

ご回答ありがとうございました。

回答No.1

kabaokaba

＞数学界において、真偽が解らなくて、かつ、それの証明が不可能なものって、存在しますか？

連続体仮説

お礼

ご回答ありがとうございました。
「連続体仮説」・・これもまた、難しい数学の理論ですね。
ネットで調べて見ても、何が何だか、解りません。