ILI-1.5 relation(s)

eq_synonym

PWN-3.0 relation(s)

eq_near_synonym

completeness _2(n) the state of being complete and entire;having everything that is needed

eq_synonym

completeness _1(n) 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

PWN-3.0 relation(s)

eq_near_synonym

completeness _2(n) the state of being complete and entire;having everything that is needed

eq_synonym

completeness _1(n) 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

CILI relation(s)

eq_synonym

completeness _1(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