semantically consistent

Мат. семантически непротиворечивый