Well-ordering principle

(thing) by srkorn (2.7 y) Thu Aug 17 2000 at 1:12:46
States that any subset of the set of natural numbers has a least element. This is useful in proving the Induction Principle of Mathematics. However, if one assumes the induction principle to be true, it can instead be used to prove the Well-ordering principle. I'm pretty sure you have to accept one of them as an axiom.
Y'know, if you log in, you can write something here, or contact authors directly on the site. Create a New User if you don't already have an account.