The following system is Mendelson's (1997, 289–293) ST type theory.
ここでは、Mendelson (1997, 289-293）の体系 ST を解説する。