Inkonsistenz

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Eigenschaft einer Menge von Sätzen, aus der eine Kontradiktion gemäß der gegebenen Folgerelation abgeleitet werden kann, beziehungsweise einer Theorie, die sowohl eine Formel als auch deren Negation beweist.