bn:00021998n
Noun Concept
Categories: Proof theory, Hilbert's problems, Metalogic
EN
consistency  Absolute consistency  agreement  compatibility  Consistancy
EN
(logic) an attribute of a logical system that is so constituted that none of the propositions deducible from the axioms contradict one another WordNet 3.0
Definitions
Relations
Sources
EN
(logic) an attribute of a logical system that is so constituted that none of the propositions deducible from the axioms contradict one another WordNet 3.0 & WordNet 2020
In classical deductive logic, a consistent theory is one that does not entail a contradiction. Wikipedia
Freedom from contradiction; the state of a system of axioms such that none of the propositions deduced from them are mutually contradictory. Wiktionary
Logic: state of a system of axioms. Wiktionary (translation)