Метод доказательства от противного в математике заключается в следующем: 1

1. Предполагают, что противоположное утверждение (отрицание) истинно. 1
2. Логически рассуждают, исходя из этого предположения. 1
3. Находят противоречие, которое является результатом, нарушающим известный факт, правило или аксиому. 1
4. Делают вывод, что предположение должно быть ложным, поэтому исходное утверждение должно быть истинным. 1

Этот способ доказательства основывается на истинности закона двойного отрицания в классической логике. 5

Этапы метода доказательства от противного: 1

1. Предположить обратное тому, что нужно доказать. 1
2. Рассуждать логически, исходя из этого предположения. 1
3. Найти противоречие, которое является результатом, нарушающим известный факт, правило или аксиому. 1
4. Сделать вывод, что предположение должно быть ложным, поэтому исходное утверждение должно быть истинным. 1