System T

In mathematics, System T can refer to:
 * A theory of arithmetic in all finite types used in Gödel's Dialectica interpretation
 * An axiom system of modal logic