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.

--