I think it's a little deeper than that. The new idea here is that if we change the background logic from classical to something else, we can get a logic in whic

I think it's a little deeper than that. The new idea here is that if we change the background logic from classical to something else, we can get a logic in which Cantor's theorem doesn't hold, since it apparently requires something like excluded middle.