当结论的反面不止一个时，可一一假设它们为真，然后经过合理的论证，逐个否定它们，从而证得结论成立，这种反证法称为穷举法.