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.