| Цифровой идентификатор | |
|---|---|
| Таксономический код | [32306, 32304, 8657, 6513, 3, 1] |
| Название (Русский) | непротиворечивость ((логика) атрибут логической системы, которая устроена таким образом, что ни одно из предложений, выводимых из аксиом, не противоречит друг другу) |
| Название (Английский) | consistency ((logic) an attribute of a logical system that is so constituted that none of the propositions deducible from the axioms contradict one another) |
| Гипероним | logicality, logicalness (correct and valid reasoning) : логичность (правильное и обоснованное рассуждение) |
| Гипонимы |
