Embed presentation
Download to read offline


This document discusses the relationship between the principle of mathematical induction (PMI) and the well-ordering principle (WOP). It notes that PMI and WOP are equivalent, so any proof by one method can also be proved by the other. However, sometimes one method may yield a more elaborate proof than the other. It also mentions that WOP is often used in proofs by contradiction, such as proofs by infinite descent. The document then provides an example proof using WOP to show that 1 + n = n + 1 for all natural numbers n.
