Verfahren des indirekten Beweises einer These »A«, bei dem aus der Annahme des kontradiktorischen Gegenteils »nicht-A« (¬A) ein Widerspruch logisch erschlossen wird. Die Reductio ad absurdum spielt in der Mathematik von alters her eine wichtige Rolle als Beweismethode; sie findet sich schon in den »Elementen« von Euklid.