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