Goldbach conjecture

世にも美しい数学入門。 - 超弦理論解明への道
うーん、これだけだとまるでゲーデルの不完全性定理が間違っているように聞こえるのですが。本にはどう書いてあるのでしょうか？多分、Shoenfield absoluteness theoremがあるのでGoldbach予想の真偽は強制法とか内部モデルで変えられないっていうやつだと思うのですが。もっとヤバイ話があるんでしょうか？