The following system is Mendelson's (1997, 289–293) ST type theory.
下面的系统是Mendelson的（1997: 289-93）ST。