proof by exhaustion

词汇拆解与释义

Proof by exhaustion（穷举证明）是把所有可能情况逐一检查的证明方法。

数学语境

当情况数量有限时，可以通过验证每一种 case 来完成 proof。