>>316
ゲーデルの不完全性定理とかわかる?