from Wiktionary, Creative Commons Attribution/Share-Alike License
- n. the state or condition of being complete
- n. 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.
from the GNU version of the Collaborative International Dictionary of English
- n. The state of being complete.
from The Century Dictionary and Cyclopedia
- n. The state or quality of being complete; perfectness; entireness; thoroughness.
from WordNet 3.0 Copyright 2006 by Princeton University. All rights reserved.
- n. the state of being complete and entire; having everything that is needed
- n. (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
complete + -ness (Wiktionary)