Источник: Словарь афоризмов русских писателей. Составители: А. В. Королькова, А. Г. Ломов, А. Н. Тихонов
Форма́льная систе́ма (форма́льная тео́рия, аксиоматическая теория, дедуктивная система) — результат строгой формализации теории, предполагающей полную абстракцию от смысла слов используемого языка, причем все условия, регулирующие употребление этих слов в теории, явно высказаны посредством аксиом и правил, позволяющих вывести одну фразу из других.
Все значения словосочетания «формальная система»Игра – это закрытая формальная система, которая вовлекает игроков в структурированный конфликт с неравным исходом.
Анализ показывает, что многие неформальные работники остаются вне формальной системы социальной защиты не потому, что вход в неё для них закрыт, а потому, что в этом они не видят для себя большого смысла.
Более радикальный случай – когда операциональные правила де-факто наделяют правами и обязанностями, которые противоречат правам и обязанностям, соответствующим предоставленным де-юре – формальной системой права.