Least-number principle
= Least-number principle
Every nonempty definable set of natural numbers has a least element. Over the usual arithmetic language, this principle is equivalent to the induction scheme.
The <well-ordering principle> quantifies over all nonempty subsets of the natural numbers; in first-order arithmetic this entry is its definable-set schema.