completeness.n.02

'completeness.n.02'

[completeness.n.02] as 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