```Date: Mar 15, 2013 10:57 AM
Author: mueckenh@rz.fh-augsburg.de
Subject: Re: Matheology § 222 Back to the roots

On 15 Mrz., 13:56, William Hughes <wpihug...@gmail.com> wrote:> On Mar 14, 10:31 am, WM <mueck...@rz.fh-augsburg.de> wrote:>>>>>> > On 14 Mrz., 08:39, William Hughes <wpihug...@gmail.com> wrote:>> > > On Mar 13, 11:05 pm, WM <mueck...@rz.fh-augsburg.de> wrote:>> > > > On 13 Mrz., 22:41, William Hughes <wpihug...@gmail.com> wrote:>> > > > > Let J be a set of the lines of L with no> > > > > findable last line.  At least two lines> > > > > belong to J.  Are any lines of J necessary?>> > > > Remove all lines.> > > > Can any numbers remain in the list? No.> > > > Therefore at least one line must remain in the list.>> > > > We do not know which it is, but it is more than no line.> > > > In other words, it is necessary, that one line remains.>> > > However, it is not necessary that any one particular> > > line remain.  So while it is necessary that the set> > > J contain one line, there is no particular line l that is> > > necessary.>> > Correct. But I have not claimed that there are particular lines.>> Then it is a mistake to call particular line necessary> e.g. to say "There is a necessary line".-I don't say that there is a necessary line. It is necessary, thatthere remains a line or two. In detail:In potential infinity it is necessary that at least one line has toremain undeleted in order to contain all natural numbers that are inthe list.In actual infinity it is necessary that at least two lines have toremain undeleted in order to contain all natural numbers of |N.No special line is necessary. But we know that two or more lines cannever do a better job than one. So whatever lines may remain, theassertion is falsified.I have explained this in Matheology § 224. Please switch to thatthread if you have to say more, because this one would be veryuncomfortable to load for readers with slow internet connection.Regards, WM
```