User talk:Proving well-orderedness: Difference between revisions