<a href="./?mention=哥德尔">哥德尔</a>是奥地利裔美国著名数学家，不完备性定理是他在1931年提出来的。这一理论使<a href="./?mention=数学基础">数学基础</a>研究发生了<a href="./?mention=划时代">划时代</a>的变化，更是现代逻辑史上很<a href="./?mention=重要">重要</a>的一座里程碑。该定理与<a href="./?mention=塔尔斯基">塔尔斯基</a>的<a href="./?mention=形式语言">形式语言</a>的真理论，<a href="./?mention=图灵机">图灵机</a>和判定问题，被赞誉为<a href="./?mention=现代逻辑">现代逻辑</a>科学在哲学方面的三大成果。哥德尔证明了任何一个<a href="./?mention=形式系统">形式系统</a>，只要包括了简单的<a href="./?mention=初等数论">初等数论</a>描述，而且是<a href="./?mention=自洽">自洽</a>的，它必定包含某些系统内所允许的方法既不能证明真也不能证伪的命题。