Rework this text to have better consistency:
All three set theories admit a universal class. Since set theories are free of any hierarchy of types, set theories have no need for a distinct universal class at each type level.
All three set theories admit a universal class, but since they are free of any hierarchy of types, they have no need for a distinct universal class at each type level.