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

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