|
|
completeness | [in 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 | |
|
|
completeness | the state of being complete and entire; having everything that is needed |