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.