Современный толковый словарь - противоречие

в формальной логике наличие (в рассуждении, тексте, теории) двух высказываний, из которых одно отрицание другого; доказуемость конъюнкции этих высказываний или их эквивалентности; в более широком смысле утверждение о тождестве заведомо различных объектов. Противоречие указывает либо на логическую порочность приводящего к нему рассуждения, либо на несовместимость посылок, положенных в основу этого рассуждения, этим обстоятельством часто пользуются в опровержениях посредством приведения к противоречию и в косвенных доказательствах. .