Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

Views expressed in these public forums are not endorsed by Drexel University or The Math Forum.


Math Forum » Discussions » sci.math.* » sci.math.independent

Topic: WMytheology #666
Replies: 2   Last Post: May 2, 2013 4:32 AM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View  
Virgil

Posts: 9,012
Registered: 1/6/11
Re: WMytheology #666
Posted: May 2, 2013 4:32 AM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

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.
--





Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.