Well_Ordering_Principle

Every non-empty subset of $\N$ has a smallest (or '''first''') element. This is called the '''well-ordering principle'''. The '''well-ordering principle''' also holds for $\N_{\ne 0}$.