Свођење на контрадикцију — разлика између измена

'''Свођење на контрадикцију''' ({{јез-лат|Reductio ad absurdum}}) је један од најчешћих, а истовремено и најпопуларнијих доказа у [[математика|математици]]. Овим поступком се на почетку доказа претпоставља супротно од онога што се жели доказати. Ако се на крају доказа дође до [[контрадикција|контрадикције]], значи да је почетна претпоставка неодржива и тиме је доказ готов.