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 ?
