Date: Feb 12, 2013 2:40 PM
Author: William Hughes
Subject: Re: Matheology § 222 Back to the roots

> What do you understand by being equal "as potetially infinite

> sequences"?

two potentially infinite sequences x and y are

equal iff every FIS of x is a FIS of y and

every FIS of y is a FIS of x.

You can use induction to show that two potentially

infinite sequences are equal (you only need

"every" not "all").

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.

You are asserting a contradiction.