What is well-ordering induction?
What is well-ordering induction? The well-ordering principle is a property of the positive integers which is equivalent to the statement of the principle of mathematical induction. Every nonempty set S of non-negative integers contains a least element; there is some integer a in S such that a ≤ b a≤b a≤b for all b’s belonging. […]