>>276
早速ダウト！述語論理の完全性は不完全性以前なんだが。
ゲーデル以降を「急速な数学化」というのが正しいにしても、
それは不完全性定理以降とは異なる。