совместимость, отсутствие противоречия - логическийкритерий корректности (правильности) некоторого утверждения, рассужденияили их совокупности (теории). Непротиворечивость исчисления означаетлогическую возможность его интерпретации и является необходимым условиемего практической реализуемости.