其實我覺得比較厲害的是，數學可以證明某個問題不能被證明。

也可以證明不存在可以知曉一切的惡魔（這個證明暗示上帝不存在或上帝不是全能全知的，如果上帝是全能全知的，那數學就是錯的）。