Date: Mar 3, 2013 5:06 PM
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.