SMS versenden: Universality in set theories