Date: Mar 26, 2013 4:29 AM Author: mueckenh@rz.fh-augsburg.de Subject: Re: Matheology § 224 On 25 Mrz., 23:12, Virgil <vir...@ligriv.com> wrote:

>

> Lets see WM's statement of the inductive principle.

>

Let P(1)

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.

Regards, WM