Математическая энциклопедия
Формальная теория 1-го порядка (см. Формальная система), один из вариантов к-рой — простая теория типов — описан ниже. Термин лТ. т.
Типов теория