TOPICS
Search

Incompleteness


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 First Incompleteness Theorem, Gödel's Second Incompleteness Theorem

Explore with Wolfram|Alpha

References

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

Referenced on Wolfram|Alpha

Incompleteness

Cite this as:

Weisstein, Eric W. "Incompleteness." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/Incompleteness.html

Subject classifications