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

Мат. partial consistency