Date: Feb 10, 2013 4:54 AM
Author: mueckenh@rz.fh-augsburg.de
Subject: Re: Matheology § 222 Back to the roots

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.

Regards, WM