(n)(logic) an attribute of a logical system that is so constituted that a contradiction arises if any proposition is introduced that cannot be derived from the axioms of the system
The Collaborative International Dictionary of English (GCIDE) v.0.53Collaborative International Dictionary (GCIDE)