n (logic) Freedom from contradiction; the state of a system of axioms such that none of the propositions deduced from them are mutually contradictory