Proving well-orderedness: Difference between revisions