completeness (n)

n04785414

type n
lex_filenum 07
def (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
Outgoing links
Hypernym logicality, logicalness
Domain of synset - TOPIC logic
Incoming links
Hyponym logicality, logicalness
Member of this domain - TOPIC logic

Back to the index

Click for the XML entry