On Feb 12, 2:12 pm, WM <mueck...@rz.fh-augsburg.de> wrote:
> There is no line of the list that contains all FISs of d (because > there are not all).
Your claim is that there is a line of the list that contains every FIS of d (there is no mention of all)
you also claim
the potentially infinite sequence d is not equal to the potentially infinite sequence given by a line of the list.
Note that a potentially infinite sequence x is equal to a potentially infinite sequence y iff every FIS of x is a FIS of y and every FIS of y is a FIS of x. No mention or need of completion.
