>>441
つゲーデルの完全性定理