Date: Mar 3, 2013 5:06 PM
Subject: Re: Matheology § 222 Back to the roots

On 3 Mrz., 22:10, Virgil <> wrote:

> > Every finite natural is in a single finite line together with all its
> > companions.

> With all its predecessors, yes, but with all of its successors NO!
> There is at least one natural in each such line for which no successor
> exists in that line.

But in another one. In any case that line exists. Remember, every
predecessor is a successor too. Therefore, my claim is correct.

Regards, WM