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.