哥德爾對於所謂的所有東西都可以被計算這樣的問題詞嗤之以鼻。

　　對於策梅洛的ZF公理，總會有問題存在，不可能對於數學計算是完備的。

　　“誰也不能證明他們的功力系統，即是完備的，又是可靠的。”

　　哥德爾認為這可以打敗任何一個自稱可以自圓其說的理論系統。

　　“對於任意可靠的公理和推理規則系統S，必存在正確的數論結論不能在S中被證明。”哥德爾證明這個震驚世界的理論。

　　對於聰明的科學家和數學家，就明白自己只能無限接近真理而無法到達真理。

　　只有倔強的愛鑽牛角尖的人才覺得自己可以統一宇宙。