Непротиворечивость краткая биография(статья) в Большом энциклопедическом интернет словаре

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

В других словарях:
...