Date: Mar 26, 2013 4:29 AM Author: firstname.lastname@example.org Subject: Re: Matheology § 224 On 25 Mrz., 23:12, Virgil <vir...@ligriv.com> wrote:
> Lets see WM's statement of the inductive principle.
and let P(x) ==> P(x+1)
Then P(n) at least for every natural number.
Proof: For P(2) follows from P(1), P(3) follows from P(2), and so on.
More is not required.