Cantorian set theory