 Then we may state the Principle of Mathematical Induction as follows: if (a) \(0\) falls under \(F\) and (b) \(F\) is hereditary on the natural numbers, then every natural number falls under \(F\). In formal terms: