«Совершенно ясное и строгое понимание дедуктивных схем пришло лишь в начале XX столетия. В основном это заслуга великого немецкого математика Гильберта. В несколько огрублённой и упрощённой форме дело обстоит примерно так...

Аксиоматический метод – метод построения научных теорий путем принятия исходного набора аксиом, из которого средствами логической дедукции можно получить все остальные значимые утверждения теории. Аксиома – принимаемое без доказательства утверждение, выражающее фундаментальные, несводимые к более простым, принципы конкретной области научного знания. Создателем аксиоматического метода считается Аристотель, который обобщил имеющуюся практику построения философских теорий, выделив и исследовав их основные структурные элементы [Аристотель, Метафизика, Кн...