controversy over Cantor's set theory