On 17 Feb., 22:43, Virgil <vir...@ligriv.com> wrote: > In article > <2199d024-064f-4369-b38d-f1d1cdf2c...@d11g2000yqe.googlegroups.com>, > > WM <mueck...@rz.fh-augsburg.de> wrote: > > 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. > > If there were no d, then WM would not keep talkimg as if there were one.
There is no actually infinite d.
> > On the contrary! For every natural number the n-th line and d_1, ..., > > d_n are coFIS. > > Not in this world!