Object concept

consistency ((logic) an attribute of a logical system that is so constituted that none of the propositions deducible from the axioms contradict one another) : непротиворечивость ((логика) атрибут логической системы, которая устроена таким образом, что ни одно из предложений, выводимых из аксиом, не противоречит друг другу)