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 <firstname.lastname@example.org> 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.