如果一個形式理論包含的定理比在保持一致性的同時可能包含的定理要少，則稱該理論是不完備的。
不完備性
另請參閱
一致性, 哥德爾第一不完備性定理, 哥德爾第二不完備性定理使用 探索
參考文獻
Chaitin, G. J. “G. J. Chaitin's Home Page.” http://www.cs.auckland.ac.nz/CDMTCS/chaitin/.在 中被引用
不完備性請這樣引用
Weisstein, Eric W. “不完備性。” 來自 —— 資源。 https://mathworld.tw/Incompleteness.html