穷举归谬法为反证法之一,首先假定所要证明的结论不成立,然后再在这个假定下进行一系列合乎逻辑的推理,直到得出一个矛盾的结论来,并据此推翻原先的假定,从而确认所要证明的结论成立,这里所说的矛盾,具有多重的含义,可以是与题目中所给的已知条件相矛盾。
也可以是与数学中已知的公理、定理或定义等相矛盾;还可以是与日常生活中公认事实相矛盾;甚至可以是从两个不同的角度进行推理所得出的结论之间相互矛盾。