Axiom 2.5. (Principle of mathematical induction). Let \(P(n)\) be any property pertaining to a natural number \(n\). Suppose that \(P(0)\) is true, and suppose that whenever \(P(n)\) is true, \(P(n\pp)\) is also true. Then \(P(n)\) is true for every natural number \(n\).