Date: Mar 3, 2013 5:06 PM
Author: mueckenh@rz.fh-augsburg.de
Subject: Re: Matheology § 222 Back to the roots

On 3 Mrz., 22:10, Virgil <vir...@ligriv.com> 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