Date: Mar 25, 2013 7:30 AM
Author: mueckenh@rz.fh-augsburg.de
Subject: Re: Matheology § 224

On 24 Mrz., 23:04, Virgil <vir...@ligriv.com> wrote:

>
> Induction can prove that something halds for each n in |N, but cannot
> prove that it holds unambiguously for all n |N.


Induction *creates* the set of all |N, the set that contains the empty
set and with the set A it contains the next set {A}. That is
induction! And if you dislike to call it induction, then call it as
you like, say Hanching, but please understand that my proof then also
uses Hanching, namely with line n you can remove line n+1.

Regards, WM