ТИПОВ ТЕОРИЯ

способ построения формальной (математической) логики, при к-ром вводится различение объектов различных уровней (типов); один из способов исключения из логики и теории множеств парадоксов и антино