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.
Omdat men met inconsistente verzamelingen uitspraken om het even wat zou kunnen bewijzen, ook onzinnigs, is de tegenspraakvrijheid onontbeerlijk voor bruikbare wetenschappelijke theorieën, logische calculi of wiskundige axiomensystemen.
Inkonsistente Datenbanken können zu schweren Fehlern führen […]
Inconsistente databanken kunnen tot zware fouten leiden […]
