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 […]
自相矛盾的数据库可能导致严重错误……
