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

On Mar 21, 7:54 am, WM <mueck...@rz.fh-augsburg.de> wrote:

<snip>
> 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.


<snip>

> 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.