> 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. --