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.