Date: Mar 17, 2013 5:08 AM
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.