Date: Mar 17, 2013 5:08 AM
Author: mueckenh@rz.fh-augsburg.de
Subject: Re: Matheology § 224
On 17 Mrz., 00:30, Virgil <vir...@ligriv.com> wrote:

> > > > We call it unfindable or unfixable

> > > > because as soon as we have found it, it is no longer the last line.

>

> > > If finding it makes it not what it is supposed to be, the how does one

> > > prove that any such thing exists?

>

> > Simply by observing that otherwise, there must be a set with at least

> > two natural numbers, both of which do not belong to the set.

>

> Non Sequitur, at least outside WMytheology.

>

> Where actually infinite set of naturls is allowed, nothing like what WQM

> demands is needed or even possible.

In mathematics the assertion of existence of a non-empty set of

natural line-numbers implies that there is a least line-number.

Regards, WM