Completeness

Origin

complete + -ness

Full definition of completeness

Noun

1. the state or condition of being complete
2. (logic) 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\; \backslash vDash\; \backslash phi$ is true, then $$

• 2002, Stephen Cole Kleene, Mathematical LogicTHEOREM 37°. (Gödel's completeness theorem 1930.) In the predicate calculus H:
  (a) If $\backslash vDash\; F$ or even if $$

Synonyms

• (state of being complete): completion

Antonyms

• incompleteness