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.