Date: Mar 21, 2013 3:28 AM
Subject: Re: Matheology § 224

On 21 Mrz., 03:41, Virgil <> wrote:

> All that is required is a non-empty set of lines with no last line.

But this set does not obey the basic rule that every non-empty set of
natural numbers has a first element?

Or is this set a set without a first line? (Is "a" here better than
"the"? Every line could be the first line, but is not.)

Regards, WM