Доказа́тельство от проти́вного (лат. reductio ad absurdum) — вид косвенного доказательства, в котором утверждение истинности суждения (тезиса доказательства) осуществляется через опровержение противоречащего ему суждения — антитезиса. Опровержение антитезиса при этом достигается установлением факта его несовместимости с заведомо истинным суждением. Более общая форма доказательства от противного — доказательство путем опровержения (обоснования ложности) антитезиса по правилу: допустив истинность антитезиса, пришли к противоречию, следовательно — антитезис не истинен, а тезис истинен. Прием доказательства от противного важен в математике: многие отрицательные суждения математики могут быть доказаны только приведением к противоречию. Парадоксальная форма доказательства от противного, применялась уже в «Началах» Евклида: суждение можно считать доказанным, если удастся показать, что оно следует даже из допущения его ложности.