>>709
ゲーデルの証明は間違っていないだろう。
そしてゲーデルは、それで数学の可能性が否定されたとは考えていなかった。
新しい可能性を見出すべきだと考えた。