ゲーデルの不完全性定理
Gödel's incompleteness theorems cast unexpected light on these two related questions.