Noun

(*uncountable*)

- the state or condition of being complete
- (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 is true, then must also be true, for any wff*Ï†*of logic*L*.

Antonyms

Origin

*complete* +"Ž *-ness*