{"id":"04792642-n","lexname":"noun.attribute","members":[{"lemma":"completeness","sense":{"id":"completeness%1:07:00::"},"poskey":"n"}],"definition":["(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"],"ili":"i62154","partOfSpeech":"n","domain_topic":["06173467-n"],"hypernym":["04791892-n"]}