0027132人目の素数さん垢版 | 大砲2021/09/17(金) 22:02:59.87ID:+sqj8LJL >>26 は?ゲーデルにわかか? ゲーデルが後世の数理論理学にどれほど影響を与えたんか知らんのか? 証明論、計算論、集合論、モデル理論全部に影響与えてるぞ