"104567377"@en-us . . . . . . . . "04785414-n"^^ . . . "104785414"^^ . . "completeness"@en-us . "completeness"^^ . "0"^^ . . "(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"@en-us . . "0.125"^^ .