АКСИОМАТИЗИРОВАТЬ axiomatiser. един. Гильберт, учитель Вейля, пытался аксиоматизировать физику, свести ее, подобно математике, к системе неких простых постулатов. ХИЖ 1998 6 74.
Аксиомати́ческий ме́тод - способ построения научной теории в виде системы аксиом (постулатов) и правил вывода (аксиоматики), позволяющих путём логической дедукции получать утверждения (теоремы) данной теории.
* * *
АКСИОМАТИЧЕСКИЙ МЕТОД - АКСИОМАТИ́ЧЕСКИЙ МЕ́ТОД, способ построения научной теории в виде системы аксиом (постулатов (см. ПОСТУЛАТ)) и правил вывода (аксиоматики), позволяющих путем логической дедукции (см. ДЕДУКЦИЯ) получать утверждения (теоремы) данной теории.
Большой энциклопедический словарь
АКСИОМАТИЧЕСКИЙ МЕТОД - способ построения научной теории в виде системы аксиом (постулатов) и правил вывода (аксиоматики), позволяющих путем логической дедукции получать утверждения (теоремы) данной теории.
Иллюстрированный энциклопедический словарь
АКСИОМАТИЧЕСКИЙ МЕТОД, способ построения научной теории, при котором в основу теории кладутся некоторые исходные положения, называемые аксиомами, а все остальные положения теории (вспомогательные - леммы и ключевые теоремы) получаются как логические следствия аксиом. Первым примером применения аксиоматического метода явились "Начала" Евклида (около 300 до нашей эры).
Лингвистические термины
Способ исследования, состоящий в том, что множество элементов или объектов разбивается на части (подмножества). Одна часть рассматривается как исходные положения - аксиомы (постулаты), принимаемые без доказательств. Остальные положения (теоремы) доказываются логическим путем. Указанный метод опирается на теорию множеств и теорию функций.