В чем разница между логической и формальной системами в математике?

Разница между логической и формальной системами в математике заключается в их природе и назначении:

1. Логическая система — это дедуктивная система (чаще всего логика первого порядка) вместе с дополнительными нелогическими аксиомами. {7-host} Она используется для вывода некоторого выражения из (одного или более) других выражений. ru.m.wikipedia.org
2. Формальная система — это результат строгой формализации теории, предполагающей полную абстракцию от смысла слов используемого языка. {10-host} В ней представлены правила оперирования множеством символов в строго синтаксической трактовке без учёта смыслового содержания, то есть семантики. {10-host} Формальная система служит средством описания (моделирования, исследования) открытой системы, представляя её конкретный образ или состояние в определённый момент времени по совокупности существенных признаков. cyberleninka.ru