формальное противоречие

Мат. formal contradiction