Date: Feb 17, 2013 4:02 PM
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.