implicit contradiction

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