Date: Mar 26, 2013 4:29 AM
Subject: Re: Matheology § 224

On 25 Mrz., 23:12, Virgil <> 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