On 9 Feb., 21:39, Virgil <vir...@ligriv.com> wrote:
> What exceeds in length every fis is of not finite (infinite) length.
In the list
1 11 111 ...
There is no FIS of the diagonal that is loinger than every line. For everey line, there is a longer FIS of the diagonal. For every FIS of the diagonal, there is a longer line.
Everything else requires the assumption of an actually infinite diagonal which, however, is impossible without an actually infinite line.
