В чем состоит метод доказательства «От противного»?

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