consistency of axioms

Мат. непротиворечивость аксиом