- англ. theory, types; нем. Typentheorie. Способ построения формальной (математической) логики, при к-ром вводится различение объектов нескольких уровней (типов). Ее суть состоит в различении по типам: индивидов (тип 1), их свойств (тип 2), свойств свойств (тип 3) и т. д. Внутри типов вводится деление на порядки. Т. т. - один из способов исключения из логики и теории множеств парадоксов и антиномий.