~3 min read
Encyclopedic overview
6 sectionsContents
- Logic
- Mathematics
- Computing
- Music
- Other uses
- See also
Complete may refer to:
==Logic== Completeness (logic) Completeness of a theory, the property of a theory that every formula in the theory's language or its negation is provable Gödel's completeness theorem, correspondence between semantic truth and syntactic provability in first-order logic Gödel's incompleteness theorems, limits of provability in formal axiomatic theories
Excerpted from Wikipedia’s “completeness” article, available under the CC BY-SA 4.0 licence.