Added to Favorites

Popular Searches

Nearby Words

In mathematical logic, a first-order theory is complete, if for every sentence φ in its language it contains either φ itself or its negation ¬φ. Completeness for other logics with negation is defined analogously.## Complete theories

Examples of complete theories are:## References

Recursively axiomatizable theories that are rich enough to allow general mathematical reasoning to be formulated cannot be complete, as demonstrated by Gödel's incompleteness theorem.

This sense of complete is distinct from the notion of a complete logic, which asserts that for every theory that can be formulated in the logic, all semantically valid statements are provable theorems (for an appropriate sense of "semantically valid"). Gödel's completeness theorem is about this latter kind of completeness.

- Presburger arithmetic
- Tarski axioms
- The theory of dense linear orders
- The theory of algebraically closed fields of a given characteristic
- The theory of real closed fields
- Every uncountably categorical countable theory
- Every countably categorical countable theory

- Mendelson, Elliott (1997).
*Introduction to Mathematical Logic*. Fourth edition, Chapman & Hall.

Wikipedia, the free encyclopedia © 2001-2006 Wikipedia contributors (Disclaimer)

This article is licensed under the GNU Free Documentation License.

Last updated on Friday May 02, 2008 at 15:26:28 PDT (GMT -0700)

View this article at Wikipedia.org - Edit this article at Wikipedia.org - Donate to the Wikimedia Foundation

This article is licensed under the GNU Free Documentation License.

Last updated on Friday May 02, 2008 at 15:26:28 PDT (GMT -0700)

View this article at Wikipedia.org - Edit this article at Wikipedia.org - Donate to the Wikimedia Foundation

Copyright © 2014 Dictionary.com, LLC. All rights reserved.