So, many type theories have a "universe type", which contains all other types (and not itself).
Саме тому багато теорій типів мають «універсальний» тип, який містить всі інші типи (але не самого себе).