semantic consistency

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