Аксиоматический метод применяется в современной науке следующим образом:
- При исследовании логических оснований наук. 1 Наибольший размах такие исследования получили в математике в связи с обнаружением парадоксов теории множеств. 1
- При создании специальных научных языков. 1 С их помощью удаётся максимальным образом устранить неточности обычного, естественного языка. 1
- В современной математике. 1 Учёные рассматривают различные множества абстрактных объектов, свойства которых точно формулируются с помощью аксиом. 1
- В программировании и инженерии. 24 Разрабатывается аксиоматический подход к описанию функционирования программ на алгебраическом языке, позволяющий строго доказывать их корректность. 24 Также в аксиоматическом проектировании предлагается формально описывать инженерный проект как матрицу-оператор, преобразующий вектор функциональных параметров изделия в вектор проектных параметров конструкции. 24
Аксиоматический метод облегчает организацию и систематизацию научного знания и служит средством построения развитой научной теории. 3