Direct Proof of Mathematical Induction Using Well-Ordering Principle

219 Views Asked by At

How would one construct a direct proof of mathematical induction taking the well-ordering principle as an axiom? I've seen proofs by contradiction, but I'm curious how to do it directly.