Georg Cantor Set Theory