>>26
は?ゲーデルにわかか?
ゲーデルが後世の数理論理学にどれほど影響を与えたんか知らんのか?
証明論、計算論、集合論、モデル理論全部に影響与えてるぞ