不完备性原理是奥地利裔美国著名数学家哥德尔在1931年提出来的。
这一理论使数学基础研究发生了划时代的变化，更是现代逻辑史上很重要的一座里程碑。
不完备性原理与塔尔斯基的形式语言的真理论，图灵机和判定问题，被赞誉为现代逻辑科学在哲学方面的三大成果。
哥德尔证明了任何一个形式系统，只要包括了简单的初等数论描述，而且是自洽的，它必定包含某些系统内所允许的方法既不能证明真也不能证伪的命题。
第一定理:
任意一个包含一阶谓词逻辑与初等数论的形式系统，都存在一个命题，它在这个系统中既不能被证明为真，也不能被证明为否。
第二定理:
如果系统S含有初等数论，当S无矛盾时，它的无矛盾性不可能在S内证明。
