совместимость, отсутствие противоречия - логический критерий корректности (правильности) некоторого утверждения, рассуждения или их совокупности (теории). Непротиворечивость исчисления означает логическую возможность его интерпретации и является необходимым условием его практической реализуемости.
Значение слова НЕПРОТИВОРЕЧИВОСТЬ в Современном толковом словаре, БСЭ
Что такое НЕПРОТИВОРЕЧИВОСТЬ
БСЭ. Современный толковый словарь, БСЭ. 2003