Date: Mar 25, 2013 1:08 PM
Author: fom
Subject: Re: Matheology § 224

On 3/25/2013 6:30 AM, WM wrote:
> 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*



And, how does induction create?