不完全性定理 ゲーテルさん半端じゃないよね ありゃ哲学ですわぁ 分かりやすく言うと数学が不完全であること それを数学的に証明しちゃったの 算術的定義と証明可能性述語は まじで頭狂いそうな論理だった また話せるかな