proof by exhaustion

短语

词形变化

proofs by exhaustion 复数 proofs by exhaustion

释义与例句

n.
  1. 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.

    数学 哲学