穷举法也称枚举法，是反证法论证的一种方式，属于选言式间接论证。
穷举法的推理公式是：
求证论题：A
证明：1.或者4，或者B，B、C、D穷尽了一切可能)
2. B不能成立；
3.C不能成立；
4.D不能成立；
5.所以，只有4成立。或者G，或者D；