Как изменилось восприятие аксиом в математике со времен Евклида?

Восприятие аксиом в математике изменилось со времён Евклида. ru.ruwiki.ru ru.wikipedia.org

Во времена Евклида и до конца XIX века аксиомы воспринимались как предложения, не требующие доказательства в силу их очевидности. genius.pstu.ru Например, в словаре Даля аксиома — это «очевидность, ясная по себе и бесспорная истина, не требующая доказательств». ru.ruwiki.ru

Толчком к изменению восприятия аксиом послужили работы русского математика Николая Лобачевского о неевклидовой геометрии, впервые опубликованные в конце 1820-х годов. ru.ruwiki.ru ru.wikipedia.org Он сделал вывод о том, что пятый постулат Евклида является лишь произвольным ограничением, которое можно заменить другим ограничением. ru.ruwiki.ru

В результате сейчас аксиомы обосновываются не сами по себе, а в качестве необходимых базовых элементов теории — они могут быть достаточно произвольными, они не обязаны быть очевидными. ru.ruwiki.ru Единственным неизменным требованием к аксиоматическим системам является их внутренняя непротиворечивость. ru.ruwiki.ru