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






Ссылка на выделенный текст