WordNet: completeness

(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

• domain: topic logic

• hypernym logicality, logicalness

completeness

• (suomi) täydellisyys (synonyymi)