On 30 Jan., 12:32, William Hughes <wpihug...@gmail.com> wrote: > On Jan 30, 12:21 pm, WM <mueck...@rz.fh-augsburg.de> wrote: > > > On 30 Jan., 12:02, William Hughes <wpihug...@gmail.com> wrote: > > > > Summary. We have agreed that > > > > For a potentially infinite list L, the > > > antidiagonal of L is not a line of L. > > Do you agree with the statement > > For a potentially infinite list, L, > of potentially infinite 0/1 sequences > the antidiagonal of L is not a line > of L
Yes, of course. We have a collection of which we can keep a general overview. And in finite sets (potential infinity is nothing but finity without an upper threshold) "for every" means the same as "for all". There is no place to hide.