 |
| |||
| coerenza f ('More); consistenza f; incoerenza f; non-contraddizione n | |||
| |||
| omega-consistenza m | |||
| Russian thesaurus | |||
| |||
| совместимость, отсутствие противоречия - логический критерий корректности правильности некоторого утверждения, рассуждения или их совокупности теории. Непротиворечивость исчисления означает логическую возможность его интерпретации и является необходимым условием его практической реализуемости. Большой Энциклопедический словарь | |||
| непротиворечивость: 10 phrases in 1 subject |
| Mathematics | 10 |