Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
Drexel University or The Math Forum.
|
|
Virgil
Posts:
9,012
Registered:
1/6/11
|
|
Re: WMytheology #666
Posted:
May 2, 2013 4:32 AM
|
|
In article
<85b9eea7-dc82-4c4f-a143-41dd665ad246@a6g2000vbm.googlegroups.com>,
WM <mueckenh@rz.fh-augsburg.de> wrote:
> Look, ZG, the list is constructed by unioning and unioning and
> unioning.
> Everything that is in the list, is in the last union. This holds for
> every list with n lines.
But not for any list which does not have a last line, which the list of
all FISONs can not have.
Unless WM can explicitely name that last FISON and the last natural
number in that last FISON, and prove it to be the last one, both
outside of Wolkenmuekenheim as well as inside Wolkenmuekenheim.
And WM cannot do that.
>
> If the list has no last line, there are two alternatives:
One of which is that the union of all lines is |N, and the other is the
same.
--
|
|
|
|
