RT CB A1 Bremer, Manuel T1 Universality in set theories- [electronic resource : e-book] : a study in formal ontology