Date: Mar 24, 2013 7:49 PM
Author: Virgil
Subject: Re: Matheology � 224
In article

<39dd320b-1f56-4cf7-bb03-f0f634420828@l5g2000yqe.googlegroups.com>,

WM <mueckenh@rz.fh-augsburg.de> wrote:

> On 24 Mrz., 20:39, Virgil <vir...@ligriv.com> wrote:

>

> > But if David had left out the world "all", and said merely

> > "In fact, Aleph_0 lines are required

> > (necessary sufficient) to contain all of the naturals."

> > then David would have been correct, since EVERY set of aleph_0 lines is

> > sufficient but no set of less than aleph_0 lines is sufficient.

>

> We know your statements of faith. But where do you get aleph_0 lines

> without using lines of the infinite set of aleph_0 lines that, as

> provable in mathematics, are not sufficient?

Which infinite sets of lines does WM claim are provably not sufficient?

What WM claims is provable in mathematics is far to often not provable

outside Wolkenmuekenheim, and in this instance is definitely not

provable outside Wolkenmuekenheim.

THEOREM: To have a subset of the infinite set of lines(FISONs) whose

union is |N, it is both necessary and sufficient that that subset of

lines also be infinite.

This theorem is valid everywhere outside of Wolkenmuekenheim.

Its validity inside Wolkenmuekenheim is unknowable to those not already

self-imprisoned, in it.

> And why would you apply

> lines of a provably insufficient set in an asserted sufficient set -

> other than for cheating, I mean?

>

I should very much like to see WM try to "prove" outside of

Wolkenmuekenheim, that any infinite subset of the set of all

lines(FISONS) does not union to give all of |N.

--