Date: Feb 17, 2013 4:02 PM
Subject: Re: Matheology § 222 Back to the roots

On 17 Feb., 20:05, William Hughes <> wrote:
> On Feb 17, 6:49 pm, WM <> wrote:
> ards, WM
> Ok we have WM statement 1.
>    There is a line l such that
>    l and d are coFIS.

There is no d!
There is for every FIS of d a FIS of a line.
That's all we can know and say about d.
> WM denies saying
>    There is no line l such that
>    l and d are coFIS
> Do you agree
> For every natural number n,
> the nth line and d are not coFIS.

On the contrary! For every latural number the n-th line and d_1, ...,
d_n are coFIS. Please name a natural number (without falling back to
"all natural numbers" which is not allowed in potential infinity) such
that there is no line that is coFIS with some d_1, ..., d_n. And
remember, there is no d other than every d_1, ..., d_n.

Regards, WM