"n"+1的对象是类型"n"对象的集合；类型"n"的集合有类型为"n"-1的成员。用等号连接的对象必须有相同的类型。下列两个原子公式简洁的描述了定类型规则：formula_1和formula_2（符号仍可改进）。TST的公理是：这个类型论比于《数学原理》首次发表的类型论简单许多，因为它还得包括其参数不必然都有同样类型的关系类型。在1914年，诺伯特·维纳展示了如何把有序对编码为集合的集合。这使得以这里描述的集合层次的方式消除了关系类型。
蒯因集合论.
公