Date: Feb 12, 2013 12:13 PM
Author: William Hughes
Subject: Re: Matheology § 222 Back to the roots
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.

You are asserting a contradiction.