partial consistency

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