```Date: Feb 12, 2013 2:26 PM
Author: mueckenh@rz.fh-augsburg.de
Subject: Re: Matheology § 222 Back to the roots

On 12 Feb., 19:41, William Hughes <wpihug...@gmail.com> wrote:> 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)Obviously the list112123...contains every FIS of d in lines.There are never two or more lines required to contain anything that isin the list.>> > 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.Fine.>> I simply note that if line l contains every FIS of d, then> d and line l are equal as potentially infinite sequences.The list is a potetially infinite sequence of lines.A line is finite.>> Your first claim is that there is a line l such that> d and l are equal as potentially infinite sequences.What do you understand by being equal "as potetially infinitesequences"?I said that every FISs of d is in some line of the list. However wecannot fix the number since there is no last line that could contain alast FIS  (which also does not exist) of d.>> Your other claim is that there is no line> l such that d and l are equal as potentially infinite> sequences.All we can prove is: For every n in N: FIS(1) to FIS(n) of d are inline n.Everything of d that is in the list is in one line. This line cannotbe addressed. It is not fixed since there is no last step in infinity.> You are asserting a contradiction.You must say what you mean by being equal "as potentially infinitesequences".You seem again to fall back into actual infinity.Regards, WM
```