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

On Mar 21, 7:54 am, WM <> wrote:

> If no line is necessary, then there is no necessary line.

Correct, but the fact that you need to choose a line
does not mean that you need to choose a necessary line.
You can choose an unnecessary line.


> Every not necessary line can be removed.

by definition.

> Why do you think there should remain unnecessary lines?

Because you have to choose lines, and the lines
you choose must be unnecessary lines.

> And if they are needed, which it the first
> unnecessary line that must remain?

The first line depends on which lines you choose.