On Feb 20, 11:15 am, WM <mueck...@rz.fh-augsburg.de> wrote: > On 18 Feb., 14:11, William Hughes <wpihug...@gmail.com> wrote: > > > > Please answer as politely: Is there any n with no line containing > > > d_1, ..., d_n > > > No. > > Please answer without using phrases like "all" or "totality" or > "complete collection" or "whole class" or "finished infinite" or "the > set": Can you name a union of FISs of the diagonal that is missing in > every line of the list? >
No (The union of *every* FIS does not mean anything)
A statement you can make is that there is no line of the list with the property that it is coFIS to d. (you do not need every line or every FIS to "actually exist" to make this statement)
Clearly any FIS that "actually exists" is a line of the list.
Let z be a potentially infinite sequence such that for some natural number m, the mth FIS of z contains a zero.