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.