Deakstadieđáhus: Universality in set theories