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

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