Date: Feb 8, 2013 4:30 PM
Author: fom
Subject: Re: Matheology § 222 Back to the root<br> s

On 2/8/2013 5:30 AM, Alan Smaill wrote:
> WM <mueckenh@rz.fh-augsburg.de> writes:
>

>> Induction works only for all natural numbers.
>
> No such thing as "all natural numbers" --
> induction works for every natural number, though.
>
> WM says so, so that must be right.
>


Provably right... WM is inconsistent.