不完备性

如果一个形式理论包含的定理比在保持一致性的同时可能包含的定理要少，则称该理论是不完备的。

另请参阅

一致性, 哥德尔第一不完备性定理, 哥德尔第二不完备性定理

使用 Wolfram|Alpha 探索

更多尝试

参考文献

Chaitin, G. J. “G. J. Chaitin's Home Page.” http://www.cs.auckland.ac.nz/CDMTCS/chaitin/.

在 Wolfram|Alpha 中被引用

请这样引用

Weisstein, Eric W. “不完备性。” 来自 MathWorld——Wolfram Web 资源。 https://mathworld.net.cn/Incompleteness.html

主题分类