A formal theory is said to be incomplete if it contains fewer theorems than would be possible while still retaining Consistency.

**References**

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

© 1996-9

1999-05-26