Экономико-математический энциклопедический словарь, Данилов-Данильян В.И., 2003.
Словарь представляет собой полное систематическое изложение экономико-математического аппарата, его теории и методологии; включает статьи, посвященные общеэкономическим понятиям и методам, а также вычислительной и информационной технике и её использованию в современном хозяйстве. Предназначен для широкого круга специалистов, применяющих математические методы, информационно-вычислительную технику и кибернетику в экономической практике, студентов и аспирантов различных специальностей, слушателей поствузовских образовательных учреждений, которым необходимо знание данного предмета.
АКСИОМАТИЧЕСКИЙ МЕТОД, совокупность (постоянно расширяющаяся с течением времени) аспектов рассмотрения научной теории как тройки вида (L, S, G), где L — язык теории; S - некоторое специальным образом устроенное — дедуктивно замкнутое — множество предложений языка L\ G — некоторый класс интерпретаций (истолкований) языка L.
Язык L определён перечислением своих простейших выражений — исходных символов — и перечислением правил образования сложных выражений языка из более простых (в конечном итоге, из исходных). Всё это, предполагается, сделано таким образом, что понятие предложения в L эффективно: можно указать «механическую» процедуру (алгоритм) для разрешения вопроса, является или нет данное произвольное выражение языка L предложением в L. Эффективны также другие категории (термины, формулы и т.д.) выражений L.
Дедуктивно замкнутое множество предложений S — это множество, удовлетворяющее условию Cn(S) = S, где СП(Х) означает множество предложений, выводимых из множества предложений X по предварительно указанным правилам вывода.
Класс G — это некоторый подкласс класса Y(S) всех тех интерпретаций языка L, при каждой из которых все предложения в S оказываются истинными. Элементы класса G — допустимые, или подразумеваемые интерпретации теории.
Каждая конкретная интерпретация i языка L соотносит с ним тот фрагмент реальности (воображаемой или существующей на самом деле, физической или ментальной, а также какой-либо ещё), о котором можно осмысленно говорить в языке L при данном его (языка) истолковании i. Этот фрагмент реальности называется моделью языка L. Модели языка L, в точности соответствующие всем интерпретациям из класса G, составляют класс подразумеваемых моделей теории или класс её «возможных миров».
