?穷举法

...证的状况的反面不止一种，则必须一一把那些状况驳倒，才能断定所要求证者为真，这种反证法叫做「穷举法（proof by exhaustion）。