荒诞还原

一种方法证明它首先陈述一个命题，然后表明它导致了矛盾，从而证明了这个命题是假的。用G.H.的话来说。哈代，”荒诞还原,欧几里德如此喜爱的武器是数学家最精良的武器之一。这是一个遥远的地方比任何一种都好国际象棋gambit：一个国际象棋玩家可以牺牲一个棋子，甚至一块棋子，但数学家提供游戏”（科克塞特和格雷策1967年，第16页；哈代1993年，第34页）。