>>381
当初はゲーデルの完全性定理だったんだよ
これは論理学の意味論そのものでそれなりに有意義だった
現在の記号論理学の形式論とあわせれば結構論理学が分かったはず
ところが人気のある不完全性定理になってから可笑しくなった