哥德尔定理

哥德尔定理包括哥德尔第一定理和哥德尔第二定理，通常人们说的哥德尔定理是指哥德尔第二定理，该定理指出任何包含了皮亚诺公理体系的形式化系统不能同时完备性和一致性。