Date: Mar 15, 2013 6:27 PM
Author: William Hughes
Subject: Re: Matheology § 224

On Mar 15, 8:34 pm, WM <mueck...@rz.fh-augsburg.de> wrote:


> Let's first prove that already two cannot be necessary by the fact
> that two always can be replaced by one of them without changing the
> contents.



This is true but the fact that the two lines are
necessary has nothing to do with their contents. Two lines
cannot be replaced by one of them without changing the number
of lines.

Consider the case is potential infinity.
A set of lines, K, that has an unfindable last number
must contain at least two findable lines.
The fact that these two lines are necessary has
nothing to do with the contents of the lines.