Tekstiviesti: Universality in Set Theories. A Study in Formal Ontology