completeness

Meanings

Plural: completenesses

Noun

• the state of being complete and entire; having everything that is needed
• (logic) an attribute of a logical system that is so constituted that a contradiction arises if any proposition is introduced that cannot be derived from the axioms of the system
• The state or condition of being complete.
• The property of a logical theory that whenever a wff is valid then it must also be a theorem. Symbolically, letting T represent a theory within logic L, this can be represented as the property that whenever T⊨ϕ is true, then T⊢ϕ must also be true, for any wff φ of logic L.

Synonyms

completion, fulfillment

Antonyms

incompleteness, incompletion, unfinishedness