Смотреть больше слов в «Философской Энциклопедии»
неинтерпретированное Исчисление, класс выражений (формул) которого задаётся обычно индуктивно – посредством задания исходных («элементарных», и... смотреть
ФОРМАЛЬНАЯ СИСТЕМА, неинтерпретированное исчисление, класс выражений (формул) к-рого задаётся обычно индуктивно - посредством задания исходных ("эле... смотреть
дедуктивная система,- в математич. логике неинтерпретированное исчисление, задаваемое правилами образования выражений этого исчисления и правилами пос... смотреть
ФОРМА́ЛЬНАЯ СИСТЕ́МА неинтерпретированное исчисление, класс выражений (формул) к-рого задается обычно индуктивно – посредством задания исходных ("эл... смотреть
formalism
форма́льна систе́ма
фармальная сістэма
formalism