0720考える名無しさん垢版 | 大砲2024/04/30(火) 13:44:55.550 >>709 ゲーデルの証明は間違っていないだろう。 そしてゲーデルは、それで数学の可能性が否定されたとは考えていなかった。 新しい可能性を見出すべきだと考えた。