Date: Mar 24, 2013 11:26 AM
Author: mueckenh@rz.fh-augsburg.de
Subject: Re: Matheology § 224

On 24 Mrz., 16:13, William Hughes <wpihug...@gmail.com> wrote:
> On Mar 24, 4:03 pm, WM <mueck...@rz.fh-augsburg.de> wrote:
>
>  Induction proves that every
>
> True
>
>  and all
>
> False

So you do no longer adhere to ZFC+FOPL?
There a proof "for every" is a proof "for all". Unfortunately current
logic does not distinguish.

Regards, WM