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