integrated consistency

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