On 21 Mrz., 09:25, Virgil <vir...@ligriv.com> 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?