Научно-технический энциклопедический словарь - аксиоматический метод

АКСИОМАТИЧЕСКИЙ МЕТОД, метод математических рассуждений, основанный на логическом выводе из некоторых утверждений (аксиом). Этот метод является одной из основ математической науки: его использовали еще в древней Греции, а формализацию его осуществил в начале XX в. Давид ГИЛЬБЕРТ. В аксиоматической системе некоторые неопределяемые единицы (термины) берутся в качестве исходных и описываются набором аксиом. Из них путем логических рассуждений выводятся другие соотношения (теоремы), часто совершенно неожиданные. см. также ГЕДЕЛЬ

Научно-технический энциклопедический словарь

.