Аксиоматический метод построения теории и соотношение его с интуицией и воображением

Аксиоматический метод построения теории и соотношение его с интуицией и воображением

здесь уклон в философию. Нужно объяснить почему аксиомы именно такие а не драгие – что в них такого, что мы не сомневаемся что они такие? – то тут можно сказать что Евклид впервые реализовали систему аксиом, потом можно вспомнить философов которые говорят про априорное знание – привлечь Канта.
А далее сказать что с 19-ого века уже думают. Что аксиомы это не обязтаельно что-то очевиднок – например геометрия Лобачевского. Тут уже стало ясно что аксиомы вообще не из очевидности выводятся – аксиомы начинают рассматриваться просто как «принятые приложения» -- тут же можно вспомнить Гильберта (формалиста) и противопоставить ему логициста Фрегги.