Cantor's set theory