>>229

それは第1不完全性定理でしょ。

227の言おうとしたのは第2不完全性定理の方じゃないかな？「PM(Principia Mathematica )の公理系が無矛盾なら、その事実(を形式化した命題)はPMの公理系からは証明不能」とかいう奴。

つまり、無矛盾という仮定のもとでは「無矛盾」というのは内容的に真だけど、証明不能という。

ちゃんと勉強したことないので、間違ったらごめん。