哥德尔定理的原文如下："任何形式化的数学系统，只要包含了自然数的基本概念，就会存在一些无法用该系统内部的方法证明的命题。

这些命题称为不可判定命题。"这是哥德尔不完备定理的通俗版本，完整的哥德尔定理需要结合其证明过程来理解。哥德尔在 1931 年提出了这一定理，彻底改变了人们对形式化数学的认识，揭示了形式化数学的局限性。