Научные области » Метод аксиоматизации и формализации содержательных теорий