Формальная система: различия между версиями

'''Форма́льная систе́ма''' ('''форма́льная тео́рия''', '''аксиоматическая теория''') — результат строгой [[формализация|формализации]] [[теория|теории]], предполагающейпредполагающий полную абстракцию от смысла слов используемого языка, причем все условия, регулирующие употребление этих слов в теории, явно высказаны посредством [[аксиома|аксиом]] и правил, позволяющих вывести одну фразу из других<ref>{{книга