On Feb 12, 6:29 pm, WM <mueck...@rz.fh-augsburg.de> wrote:
> > Your claim is that there is a line of the list that contains > > every FIS of d (there is no mention of all) > > But you seem to interpret some completeness into "every". > Remember, beyond *every* FIS there are infinitely many FISs.,
I am using your claim including the fact that beyond *every* FIS there are infinitely many FISs.
I simply note that if line l contains every FIS of d, then d and line l are equal as potentially infinite sequences.
Your first claim is that there is a line l such that d and l are equal as potentially infinite sequences.
Your other claim is that there is no line l such that d and l are equal as potentially infinite sequences.