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