Гипотетико-дедуктивная модель научной теории_ выражения

Описывается процедура построения выражений языка формальной теории - термов и формул. Даётся структура индуктивного определения, на основе которой определяются термы и формулы (лекция аспирантам МГМСУ 13 декабря 2017 г.).