Date: Feb 1, 2013 10:18 AM
Author: William Hughes
Subject: Re: Matheology § 203

Let a potentially infinite list, L,
of potentially infinite 0/1 sequences
have the property that every
(in the sense of "all from 1 to n")
potentially infinite 0/1 sequence
is a line of L

Let s be a potentially infinite
0/1 sequence.

Does this imply that there is
a natural number m, such that s
is the mth line of L
?