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

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

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

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

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

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

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

　　關於高斯-博內-陳定理

　　平面上任一三角形的三內角之和恆等於π，對於一般曲面上由三條測地線構成的三角形，其內角和等於π加上高斯曲率K在此三角形所圍曲面上的積分.