网站首页 百科知识
哥德尔在1937年证明。包括两个定理：1.一包括初等数论的形式系统P，如果是一致的，那么就是不完全的，即存在语句A,A和⇁A在P中都不可证。 2.如果上述这样的系统是一致，那么，其一致性在本系统内不可证。该定理是当代数学和逻辑学发展的重要成果。
开放百科全书收录579518条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。