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

Мат. formal consistency