设Φ("x")表示包含自由变量"x"的任何一阶公式。概括公理模式：formula_8。"备注":相同类型的元素的任何搜集都可以形成更高类型的一个对象。概括公理有关于formula_9也有关于类型。无穷公理。存在着在最低层类型的个体之上的非空二元关系"R"，它是反自反的、传递的和强连接的（formula_10）。"备注":无穷公理是ST的唯一真正的，并且本质上完全是数学的公理。"R"也是一个严格全序，带有同一的域和陪域。如果0被指派给最低层类型（依次1是对（双元素集合，单元素集合），2是有序对