теорія типів

ТЕОРІЯ ТИПІВ — спосіб побудови логічного числення з кількома видами термів (констант і змінних), яким відповідають типи сутностей ієрархізованого логічного універсуму (напр., індивіди, властивості, властивості властивостей і т. ін.). Т.т. була запропонована Расселом і Вайтгедом у книзі "Principia mathematica" (1910 — 1913) як засіб усунення можливості доведення парадоксів у теорії множин. Так, у Т. т. неможливо навіть сформулювати твердження про суперечливу множину, яка містить саму себе у якості елемента, тому що елемент і множина належать до різних типів.

А.Іиімуратов