Inconsistency

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Property of a set of sentences from which a contradiction can be derived under the given consequence relation, or equivalently of a theory that proves both a formula and its negation.