Усі три теорії множин визнають універсальний клас, але оскільки вони вільні від будь-якої ієрархії типів, їм не потрібен окремий універсальний клас на кожному рівні типу.
Зробіть текст більш зв'язним: усі три теорії множин допускають універсальний клас. Оскільки теорії множин вільні від будь-якої ієрархії типів, теорії множин не потребують окремого універсального класу на кожному рівні типу.