Date: Mar 21, 2013 7:40 AM
Subject: Re: Matheology § 224

On 21 Mrz., 09:25, Virgil <> wrote:

> It is lines, not naturals, that are the members of such sets.

The lines are enumerated by their last elements.
> But it does satisfy the rule that every set of lines that covers all of
> |N has a first line

Why do you cite all sets you cite by unnecessary elements only?
And if there is no necessary element, why should any element be
considered necessary in the sense that it must not be removed in order
to maintain all natural numbers in the list?

Regards, WM