Date: Feb 19, 2013 6:04 PM
Subject: Re: Matheology � 222 Back to the roots
WM <firstname.lastname@example.org> 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.