логическая несовместимость

Мат. logical incompatibility