proof by exhaustion

Noun

Japanese Meaning

有限個の各場合を個別に検証することにより、命題の正しさまたは誤りを確かめる論理的手法。 / 場合分けを行い、すべての可能なケースに対して検証を実施することで、命題の真偽を確定する方法。

小さな整数すべてについてその予想を検証するために、チームは場合分けによる証明に頼り、可能な各場合を系統的に確認した。

Sense（1）

proofs by exhaustion

（ plural ）