Доказательство от противного

Доказательство от противного — метод доказательства, основанный на противоречии.
Доказательство использует предположение о том, что утверждение неверно и выводит противоречие.
Примеры доказательств от противного включают теорему Евклида о бесконечности простых чисел и иррациональность квадратного корня из 2.
Доказательства от противного могут быть представлены в виде опровержения или доказательства от противоречия.
Метод бесконечного спуска также является примером доказательства от противного.
Парадокс Рассела является отрицаемым утверждением, обычно доказываемым с помощью опровержения от противного.

Полный текст статьи:

Доказательство от противного — Википедия