的先决定义。ST的特有符号是加右上角标的变量和中缀formula_1。在任何给定的公式中，无角标的变量都有相同的类型，而有角标的变量（formula_2）取值于更高的类型上。ST的原子公式与两种形式，formula_3（同一性）和formula_4。中缀符号formula_1暗示了预想的释义，集合成员关系。出现在同一性定义和外延和概括公理中所有变量都取值于连贯的两个类型之上。一个"低层"类型和另一个"高层"类型。取值于高层类型上的变量加角标；而取值于低层类型的变量不加。ST的一阶公式化排除在类型上的