Філософські питання математики: сутність аксіоматичного методу.

Abstract

Стаття присвячена розгляду філософського аспекту математичної теорії, зокрема досліджується джерела походження й сутність аксіоматичного методу, розвиток якого розглядається з позицій ідеалістичного та матеріалістичного підходів. Провадиться розгляд основних етапів розвитку аксіоматизації: змістовної аксіоматизації, полуформальної аксіоматизації та формалізованої аксіоматизації.

The article is devoted to the philosophical aspect of mathematical theory. The sources and essence of the axiomatic method are examined; the development of the axiomatic method is considered from idealistic and materialistic positions. The article contains the main stages of axiomatization development:the maintenanced axiomatization, semiformal axiomatization, formalized axiomatization.