consistency 4
noundomain: property
Princeton WordNet [ver.3.1]
Definition
(logic) an attribute of a logical system that is so constituted that none of the propositions deducible from the axioms contradict one another
(logic) an attribute of a logical system that is so constituted that none of the propositions deducible from the axioms contradict one another
Project co-funded by European funds
