Non-Cantorian Set Theory