BabelNet

bn:00021367n

Noun Concept

Categories: Model theory, Metalogic, Proof theory, Mathematical logic

completeness complete Deductive completeness incomplete refutation-complete

(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

Definitions

Relations

Sources

(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

IS A

logicality

property

CATEGORY DOMAIN

logic

DESCRIBED BY SOURCE

Armenian Soviet Encyclopedia

WordNet 3.0 & Open English WordNet

completeness

Wikipedia

completeness (logic)

Wikidata