Date: Mar 18, 2013 12:39 PM
Author: fom
Subject: Re: Matheology § 224

On 3/18/2013 6:47 AM, WM wrote:
> On 17 Mrz., 23:05, William Hughes <> wrote:
>> On Mar 17, 10:49 pm, WM <> wrote:

>>> On 17 Mrz., 22:39, William Hughes <> 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.