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

Један од најчешћих, а истовремено и најпопуларнијих доказа у математици је ''свођење на контрадикцију''. Овим поступком се на почетку доказа претпоставља супротно од онога што се жели доказати. Ако се на крају доказа дође до контрадикције, значи да је почетна претпоставка неодржива и тиме је доказ готов.