http://i47.tinypic.com/6h5cmw.jpg

This is a real baby proof, but I'm not sure I'm doing the well ordering proof right, as its my first attempt.

Is this the basic structure of a well ordering proof?

Thanks in advance.

Printable View

- Feb 27th 2010, 07:23 PMdavismjProof using Well Ordering
http://i47.tinypic.com/6h5cmw.jpg

This is a real baby proof, but I'm not sure I'm doing the well ordering proof right, as its my first attempt.

Is this the basic structure of a well ordering proof?

Thanks in advance. - Feb 27th 2010, 11:17 PMDrexel28
I feel as though you are way overdoing it. Let . Assume that , then by the well-ordering principle has a least element . Thus, . Dividing both sides we see that . This contradicts the minimality of and thus it follows that .

It needs some preening, but you get the idea.