>>84
ゲーデルの不完全性定理定期