哥德爾定理其實是兩個定理，其中哥德爾靠前不完備性定理是最重要、也是誤解最多的，從這一定理的版本眾多就可以看出。如:

"如果一個形式理論T足以容納數(shù)論并且無矛盾，則T必定是不完備的。"

"任何一個相容的數(shù)學形式化理論中，只要它強到足以在其中定義自然數(shù)的概念，就可以在其中構造在體系中既不能證明也不能否證的命題。"

"任何一個足夠強的一致公設系統(tǒng),必定是不完備的"

第二不完備性定理是靠前定理的一個推論:"任何相容的形式體系不能用于證明它本身的相容性"。