МУБК 2001-2002. Команда "ДНОГ-2". Вопрос 18

Вопрос 18: Английский математик Харди утверждал, что некий мощный метод, часто употребляемый математиками, схож с шахматным гамбитом, но идет дальше, ибо шахматист отдает пешку или фигуру, в то время как математик жертвует всей игрой. Назовите этот метод.

Ответ: доказательство от противного