Противоречие между двумя взаимоисключающими положениями, одинаково убедительно доказуемыми логическим путём.