Date: Feb 17, 2013 4:02 PM
Author: mueckenh@rz.fh-augsburg.de
Subject: Re: Matheology § 222 Back to the roots

On 17 Feb., 20:05, William Hughes <wpihug...@gmail.com> wrote:
> On Feb 17, 6:49 pm, WM <mueck...@rz.fh-augsburg.de> 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