哥德尔不完备定理
Gödel's incompleteness theorems cast unexpected light on these two related questions.