Method of Minimal Counterexample

A proof-by-contradiction strategy that assumes there exists a smallest (minimal) counterexample to a universal statement with respect to a chosen well-founded measure, and then derives a contradiction by producing an even smaller counterexample or showing the minimal object must satisfy the statement.