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

1. Делается предположение, противоположное тому, что утверждается теоремой. 1
2. Затем путём рассуждений, опираясь на аксиомы и уже доказанные теоремы, приходят к выводу, противоречащему либо условию задачи, либо одной из аксиом, либо доказанной ранее теореме. 1
3. На этом основании заключают, что предположение не верно, а значит, верно утверждение теоремы. 1

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

Ещё один вариант осуществления метода: 4

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