Date: Apr 11, 2013 2:52 PM
Author: William Hughes
Subject: Re: Matheology § 238

On Apr 11, 8:17 pm, WM <> wrote:
> On 11 Apr., 19:19, William Hughes <> wrote:

> > > So you agree that B implies A.
> > yep, but A does not imply C:  P(d_1,d_2,d_3..)
> That is your interpretation.

One you agree with, C: means that the collection has property
P. A: mean that every element of the collection has property
P. A does not imply C.

Now let P be (can remove the collection without changing
the union of the remaining lines). We have there is no
contradiction in saying A: for all n, the nth line can be removed.