Date: Jan 18, 2013 2:44 AM
Subject: Re: WMatheology § 191
> 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
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.