(logic) an attribute of a logical system that is so constituted that none of the propositions deducible from the axioms contradict one another
<noun.attribute>
<noun.attribute>
| consistency |
|
| consistency |
|