Форма́льная систе́ма (форма́льная тео́рия, аксиоматическая теория, дедуктивная система) — результат строгой формализации теории, предполагающей полную абстракцию от смысла слов используемого языка, причем все условия, регулирующие употребление этих слов в теории, явно высказаны посредством аксиом и правил, позволяющих вывести одну фразу из других. https://ru.wikipedia.org/wiki/%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D0%B0%D1%8F_%D1%81%D0%B8%D1%81%D1%82%D0%B5%D0%BC%D0%B0
- Галиев Ш. И. Математическая логика и теория алгоритмов. — Казань: Издательство КГТУ им. А. Н. Туполева. 2002.
- Клини С. К. Введение в метаматематику. — М.: ИЛ, 1957. — 526 с. (см. ISBN )
- Клини С. К. Математическая логика. — М.: «Мир», 1973. — 480 с. (см. ISBN )
- Мендельсон Э. Введение в математическую логику. — М.: «Наука», 1971. — 320 с. (см. ISBN )
- Новиков Ф. А. Дискретная математика для программистов. — СПб.: Питер, 2000. — 304 с.: ил. ISBN 5-272-00183-4.
- Яновская С. А. Из истории аксиоматики // Историко-математические исследования. — М.: 1958. — № 11. — С. 63-96.
- Страница 0 - краткая статья
- Страница 1 - энциклопедическая статья
- Разное - на страницах: 2 , 3 , 4 , 5
- Прошу вносить вашу информацию в «Формальная система 1», чтобы сохранить ее