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

Мат. consistency of axioms