Классификация комбинаций знаков в математической логике

[Revenko]

Наверное, элементарный вопрос, но помогите разобраться.
Начал читать "Математическую логику" Колмогорова, и там даётся классификация комбинаций знаков, имеющих самостоятельный смысл: термы (имена предметов и именные формы) и формулы (высказывания и высказывательные формы).

Я понимаю, что $\sin(5)$ - это имя предмета, а $\sin(x)$ - именная форма.

Но ещё в 1-м параграфе написано: "Заметим, что такая комбинация знаков, как $\sin$, тоже является именем, а именно именем функции "синус". Из имени функции $\sin$ и имени числа 5 можно образовать имя действительного числа $\sin 5$"

То, что 5 - это имя предмета, где предметом является число, я понимаю.
Но разве функция $\sin$тоже является предметом?
Чем тогда она отличается от именной формы $\sin(x)$?
Спасибо! Извините, если вопрос слишком тривиальный.

[Xaositect]

Именная форма, в частности, именная форма $\sin x$ - это понятие чисто синтаксическое - сама последователность значков $\sin x$ является именной формой. Из нее можно чисто символьными подстановками получать имена предметов.
Сама же функция синус - это понятие из смысловой области, какой-то математический объект, в терминологии Колмогорова-Драгалина - предмет.

[Deggial]

Revenko, оформляйте формулы ТеХом. Инструкции здесь или здесь (или в этом видеоролике).
Данный пост я исправлю, все следующие неоформленные буду уносить в Карантин.