On 3/18/2013 6:47 AM, WM wrote: > 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.
What would be interesting for your readers would see an appropriate explanation of a constructive object.
That, being given as prior definition, would constitute a "construction principle".
Once again, you were given an example from Markov to see how it is done.