ST is "simple" (relative to the type theory of Principia Mathematica) primarily because all members of the domain and codomain of any relation must be of the same type.
ST是"简单的"（相对于《数学原理》中的类型论）主要是因为任何关系的域和陪域的所有成员都必须是同一个类型的。