|
|
|
A formal theory is said to be incomplete if it contains fewer theorems than would be possible while still retaining Consistency.
See also Consistency, Gödel's Incompleteness Theorem
References
Chaitin, G. J. ``G. J. Chaitin's Home Page.''
http://www.cs.auckland.ac.nz/CDMTCS/chaitin/.