Date: Jan 18, 2013 2:44 AM
Author: Virgil
Subject: Re: WMatheology § 191

WM wrote:


> I show:
> Cantor's "proof" is based upon finite initial segments solely. So he
> proves that there are uncountably many terminating decimal
> representations. The infinity of the used strings is but abracadabra.


It is WM's attempt at abracadabra to claim the infinite strings (or
mappings from |N to some finite set) in Cantor's argument are finite
strings.

In ZF, among other set theories of standard mathematics there are
actually infinite sets, even if in WMytheology there aren't any.

And nothing that anyone as inept as WM can say will change that.
--