```Date: Apr 12, 2013 2:34 AM
Author: William Hughes
Subject: Re: Matheology § 238

On Apr 12, 7:40 am, WM <mueck...@rz.fh-augsburg.de> wrote:> On 11 Apr., 23:52, William Hughes <wpihug...@gmail.com> wrote:>>>>>>>>>> > On Apr 11, 9:51 pm, WM <mueck...@rz.fh-augsburg.de> wrote:>> > > On 11 Apr., 20:52, William Hughes <wpihug...@gmail.com> wrote:>> > > > On Apr 11, 8:17 pm, WM <mueck...@rz.fh-augsburg.de> wrote:>> > > > > On 11 Apr., 19:19, William Hughes <wpihug...@gmail.com> 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,>> > > Not at all!>> > Yep, you have agreed that saying something is true for> > every element of a collection does not imply that it> > is true for the collection.>> It is true for all elements.Correct every element has the property that it can be removed.>No mentioning of collection.Correct, the collection cannot be removed without changingthe union, and you cannot leave no lines without removing thecollection of lines.> I am not at> all interested whether these elements form something like a> collection. Of course you cannot say that the collection of real> numbers is a real number. But when all real numbers have been> removed, the collection has gone too.Correct.  Removing all elements is the same as removing thecollection.Now let P be (can remove the collection without changingthe union of the remaining lines).  We have there is nocontradiction in saying A: for all n, the nth line can be removedbecause A does not imply C and only C is a contraction.
```