completeness
noun C1- 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.
Plural completenesses
Learn completeness in real texts
With a free account, hover any word in the library for its meaning, hear it read aloud, save words for review timed to your memory, and see how much of each book you already know.