The following system is Mendelson's (1997, 289–293) ST type theory.
Το ακόλουθο σύστημα είναι το ST του Mendelson (1997, 289–293).