On 17 Mrz., 23:05, William Hughes <wpihug...@gmail.com> wrote: > On Mar 17, 10:49 pm, WM <mueck...@rz.fh-augsburg.de> wrote: > > > On 17 Mrz., 22:39, William Hughes <wpihug...@gmail.com> wrote: > > > You say that if a set of lines contains an unfindable > > > line it is necessary that there are > > > two findable lines. > > > No. > > Oh, so there can be a set of lines that contains an unfindable > line but not two findable lines ?!?
When you remove every line as soon as you have found it, then no findable line remains. Isn't that obvious?
However this might not be interesting for the majority of readers. Much more interesting will be how the case of actual infinity can be explained without contradicting the construction principle of our well- known list.