樓下跟貼心姐時突然想到一個天才法國數學家的話

"God exists since mathematics is consistent, and the Devil exists since we cannot prove it."

“上帝之存在皆因數學的一致性，而魔鬼之存在皆因我們無法證明之。”

說這話的Andre Weil, 是·愛因斯坦和哥德爾同年代的人，也在普令斯頓大學做過，後回法國，是數論，代數幾何和形式邏輯的大拿，他工作上和哥德爾有無交集沒查過，反正其研究我也不懂，但他這話卻是很好呼應了哥德爾的不完備定理，不完備定理大致說：任何一個數學係統，都會有些為真的數學陳述（比如一些定理）永遠無法被證明為真。也就是說沒有一個數學係統是完備的 - 這係統本身無法最終自圓其說。 

數學是人類最嚴謹的語言，因為它的嚴密推導性，從一組公理或顯而易見的前提出發，導出越來越多為真的陳述，不滲雜實驗，經驗和思辨，人類憑這樣語言建立出來的知識體係也是最堅固的。然而哥德爾告訴我們，理論上這個過程反過來並不成立，這體係中一些為真的數學性陳述永不可能在這體係裏被推導出來。如果數學這門最嚴謹的語言都有這麽大的漏洞，那其他各種人類語言機器語言邏輯上就更是千瘡百孔了，人類憑這些語言進行思維創造概念形成意識也便風險大大謬誤難免。

這是沒辦法的人之為人，當Weil說上述的話，他堅信數學是一致的，也就是不存在邏輯矛盾，如上帝般完美。我們說一兩句話盡量不自相矛盾還可以做到，但如此龐大複雜的知識體係，科學的基礎，人類認識真理的根本基石，如此完美，我們人類若能擁有它豈不是天賦福分，真理一臂之遙，上帝伸手可及。然而不幸的是，我們不能，即使我們的認知已經發展到全入數學般精致嚴密完整，我們還是無法肯定真理的存在，上帝的存在，謬誤和魔鬼永遠橫亙其間。

哥德爾用形式邏輯證明了上帝的存在，也意味著他同時證明了魔鬼的存在。