proof by exhaustion

Noun

 * 1)  The indirect verification or falsification of a statement by the verification or falsification of each of the finite number of cases which arise therefrom.

Translations

 * Finnish: tyhjentävä todistus
 * Polish: dowód wyczerpania