Text this: Universality in set theories