exhaustion

词汇拆解与释义

Exhaustion（穷竭、穷举）表示把可能性逐一用尽。

数学语境

Proof by exhaustion 指把所有可能情况逐一检查，从而完成证明。