consistency 4

noundomain: property
Princeton WordNet [ver.3.1]
EnglishEnglish
Definition

(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

FENG