On 16 Feb., 15:32, William Hughes <wpihug...@gmail.com> wrote: > On Feb 16, 1:04 pm, WM <mueck...@rz.fh-augsburg.de> wrote: > > > On 15 Feb., 23:58, William Hughes <wpihug...@gmail.com> wrote: > > > So WMs statements are > > > > there is a line l such that d and l > > > are coFIS > > > Of course, for every n there is a line 1, 2, 3, ..., n that is coFIS > > to the diagonal 1, 2, 3, ..., n. > > Nope. a line is either coFIS to d or it is not.
Yes, of course. And this holds for every n that you have. > > It makes sense to say > > For every n there is a line, l(n) such that > the nth FIS of d. > But this does not make l(n) coFIS to d.
Again you confuse actual with potential infity. Again: d is nothing more than every FIS d_1, ,,,,, d_n
So for every n there is a line that is coFIS. And more is simply not available in potential infinity. > > And there is not more than every n. > > > > there is no line l such that d and l > > > are coFIS > > That would only be true if there was an n larger than every n > > ?? The statement is yours. Are you now withdrawing it.
No the statement concerns anti-diagonals and does not concern the notion of coFIS.
You are continuously confusing d (more than every FIS) with every FIS d_1, ..., d_n. Please learn: In potential infinity (and in correct and not self- contradictory math) there is nothing more of d than every d_1, ..., d_n.