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