5.2.Формальные аксиоматические теории.Математическая логика и теория алгоритмов.

Дадим предварительные определения важных понятий, связанных с аксиоматическими теориями, наделенными семантической и дедуктивной структурами. Эти определения будут уточнены в дальнейшем в случае теорий с языками первого порядка.
Весь материал взят: https://stepik.org/lesson/187342/step...