формально непротиворечивая теория

Мат. consistent theor