哥德尔定理包括哪两个

哥德尔定理其实是两个定理，其中哥德尔靠前不完备性定理是最重要、也是误解最多的，从这一定理的版本众多就可以看出。如:

"如果一个形式理论T足以容纳数论并且无矛盾，则T必定是不完备的。"

"任何一个相容的数学形式化理论中，只要它强到足以在其中定义自然数的概念，就可以在其中构造在体系中既不能证明也不能否证的命题。"

"任何一个足够强的一致公设系统,必定是不完备的"

第二不完备性定理是靠前定理的一个推论:"任何相容的形式体系不能用于证明它本身的相容性"。