Da man mit inkonsistenten Aussagenmengen Beliebiges beweisen könnte, auch Unsinniges, ist die Widerspruchsfreiheit unerlässlich für brauchbare wissenschaftliche Theorien, logische Kalküle oder mathematische Axiomensysteme.
矛盾した言明の集合からは任意のことが証明でき、無意味なことまで証明できるため、矛盾無きことは有用な科学理論や論理計算や数学の公理系に不可欠である
Inkonsistente Datenbanken können zu schweren Fehlern führen […]
矛盾したデータベースは重大な誤りにつながり得る
