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.
Comme avec des ensembles d’énoncés inconsistants on pourrait prouver n’importe quoi, même des absurdités, l’absence de contradiction est indispensable pour des théories scientifiques, calculs logiques ou systèmes d’axiomes mathématiques utilisables.
Inkonsistente Datenbanken können zu schweren Fehlern führen […]
Des bases de données inconsistantes peuvent entraîner de graves erreurs.
