Date: Mar 8, 2013 4:25 AM
Subject: Re: Matheology § 222 Back to the roots

On 8 Mrz., 09:27, Virgil <> wrote:

> > > but that is not the same as saying that
> > > no lines are required.

> > The set of lines is ordered by the natural numbers. Every set of
> > natural numbers has a first element.

> Irrelevant to the fact that ANY infinite set of lines is sufficient,
> which means that no particular line is required, but infinitely many
> lines are required.

A set of natural numbers, finite or infinite, without a first element
is not object of mathematics.

> > Name the first line.
> Which first line? There are infinitely many possible first lines.
> In fact EVERY line is a first line of some such set.

Name at least one line that is not obviously irrelevant for the task.

Regards, WM