简介 哥德尔定理哥德尔定理是数理逻辑中的一个定理，1931年奥地利逻辑、数学家克尔特·哥德尔(Kurt Godel)发现并证明的，这个定理彻底粉碎了希尔伯特的形式主义理想。为理解这个定理及其意义，需要相当的数理逻辑和集合论知识。要把这些预备知识都在这里整理出来，工作太繁重了，这也就是我一直没敢动手写这篇东西的原因之一。这里仍然也不打算详细介绍这些东西，只是在必要的时候给些简单的说明，要想更深刻地理解，有兴趣的朋友可以自学相关课程。 哥… [ 进入词条 ][ 进入哥德尔定理维吧 ]