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.