Date: Feb 19, 2013 6:04 PM
Author: Virgil
Subject: Re: Matheology � 222 Back to the roots

In article 
<3631966c-7e49-45db-a3f9-03b9b9724945@f6g2000yqm.googlegroups.com>,
WM <mueckenh@rz.fh-augsburg.de> wrote:

> It is self-evident that "for every natural number" is identical with
> "up to every natural number".


And to "for all natural numbers", as a quantifier.

Which in no way counters Cantor's diagonal argument, which remains valid
outside of WOLKENMUEKENHEIM, regardless of WM'a hysteria on the subject.

And ZF has yet to be invalidated as a set theory, regardless of WM'a
hysteria on the subject.

And until ZF and similar theories are all invalidated, a complete
inductive set to represent the (complete) set of naturals follows.

If WM insists on living in his outre backwater, in which set membership
can be ambiguous, that is his loss.
--