1.NounA method of proof by contradiction that is used to prove that a statement must be false for all positive integers. By showing that if it is true for one integer, it must be true for a smaller integer, an infinite number of solutions are found and a contradiction is eventually reached.