THE ROLE OF AXIOMATIZATION IN THE PROCESS OF MATHEMATICAL THEORY CONSTRUCTION

• Main Author: S.I. MASALOVA
• Format: Article
• Language: Russian
• Published: Don State Technical University 2018-08-01
• Series: Вестник Донского государственного технического университета
• Subjects: логический метод; формализация; аксиоматизация; аксиоматический метод; содержательная аксиоматика; полуформальная аксиоматизация; формальная аксиоматика; формальная система; исчисление; метод интерпретации
• Online Access: https://vestnik.donstu.ru/jour/article/view/1310
• ISSN: 1992-5980; 1992-6006

The article covers one of the formalization forms - axiomatization - and its role in the process of construction of mathematical theory and its foundations (abstract mathematical objects). Axiomatic method is used at the stage of systematization of acquired knowledge and is both the result and the means of mathematical knowledge consolidation.