Infinite Descent

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
A proof technique that derives a contradiction by assuming a minimal counterexample in a well-ordered domain (typically the positive integers) and then constructing a strictly smaller counterexample ad infinitum, contradicting minimality.