теория в логике, система расширенного исчисления предикатов или аксиоматической теории множеств , включающая переменные различных 'типов' (сортов, ступеней, порядков). Формальные объекты этой теории, согласно системе Рассела - Уайтхеда, разделяются на типы: предметы (индивиды), предикаты, предикаты от предикатов и т. д. [объекты n -го