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