Towards a New Philosophy of Set Theory