Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:00021998n
Noun Concept
Categories: Metalogic, Proof theory, Hilbert's problems
EN
consistency  absolute consistency  agreement  compatibility  concord
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
English:
mathematical logic
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 & Open English WordNet
In classical deductive logic, a consistent theory is one that does not lead to a logical 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)
IS A
logicality
property
HAS KIND
equiconsistency
HAS INSTANCE
internal consistency of the Bible
CATEGORY DOMAIN
logic
DESCRIBED BY SOURCE
Armenian Soviet Encyclopedia
FACET OF
logical system
OPPOSITE OF
contradiction
SAID TO BE THE SAME AS
agreement
WordNet 3.0 & Open English WordNet
EN
consistency
Wikipedia
EN
consistency
Wikidata
EN
consistency
Wiktionary
EN
consistency
Wikipedia Redirections
EN
absolute consistency, Consistancy, Consistencies, Consistency (Mathematical Logic), consistency proof, consistent, consistent set, consistent theory, Henkin's theorem, Inconsistancy, Inconsistency principle, inconsistent, inconsistent theory, internal logic, logical consistency, logically consistent, relative consistency, self-consistent, Self consistent
Wikidata Alias
EN
agreement, compatibility, concord, consistency proof

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License