哥德尔不完备定理
此条目使用不适当的第一人称(我,我们)或第二人称(你,你们) . (2014年9月22日)
请帮助编辑本条目并使用更为正式且符合百科全书的语调.
此条目的语调或风格可能不适合百科全书的写作方式. (2014年9月22日)
请根据指南协助改善这篇条目,请在讨论页讨论问题所在及加以改善.
致使用者:请搜索一下条目的标题(来源搜索:"哥德尔不完备定理"  -  网页,新闻,书籍,学术,图像),以检查网络上是否存在该主题的更多可靠来源(判定指引).
在数理逻辑中,哥德尔不完备定理是库尔特·哥德尔于1931年证明并发表的两条定理.简单地说,第一条定理指出:
任何自洽的形式系统,只要蕴涵皮亚诺算术公理,就可以在其中