s point was that when you discover a contradiction,
the only thing you have proved is that somewhere in the great
morass of axioms and definitions, there exists a contradiction.
Since set theory abounds in all sorts of paradoxes, antinomies,
and counterintuitive beasties, there is a very large room for
doubt about "Cantor's paradise", which rests on such a slender
thread.  I won't go as far as Wittgenstein in calling it a
"dismal swamp", but I consider it an interesting place to visit,
not somewhere I would