Date: Mar 24, 2013 5:14 PM
Author: mueckenh@rz.fh-augsburg.de
Subject: Re: Matheology § 224

On 24 Mrz., 20:29, fom <fomJ...@nyms.net> wrote:
> On 3/24/2013 10:13 AM, William Hughes wrote:
>
>
>
>
>

> > On Mar 24, 4:03 pm, WM <mueck...@rz.fh-augsburg.de> wrote:
>
> >   Induction proves that every
>
> > True
>
> >   and all
>
> > False
>
> >> finite lines
> >> of our list can be removed without changing the contents,

>
> Nice!


Yes, I agree. Here he shows that FOPL of ZFC is not what he wishes to
be applied.

Regards, WM