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.