Proof by infinite descent
article-link
What links here
Minimal counterexample
Well-ordering principle
article-link
Counterexample
article-link
Transfinite induction
article-link
WikiHQWikiHQMinimal counterexample
article-link
article-link
article-link
article-link