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

論破完了