bn:00021367n
Noun Concept
Categories: Mathematical logic, Proof theory, Metalogic, Model theory
EN
completeness  complete  Deductive completeness  incomplete  refutation-complete
EN
(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 WordNet 3.0
English:
logic
in logic
Definitions
Relations
Sources
EN
(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 WordNet 3.0 & Open English WordNet
In mathematical logic and metalogic, a formal system is called complete with respect to a particular property if every formula having the property can be derived using that system, i.e. is one of its theorems; otherwise the system is said to be incomplete. Wikipedia
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. OmegaWiki