Аксиомы не доказанны, но предполагаются истинными. Но возникают всякие бяки типа геометрий Евклида, Лобачевского и Римана.
И в соответсвии с этим встяет вопрос - а как это все соотносится с реальностью? И получен строгий научный ответ - а никто не знает и знать не будет. (Кант).
Поэтому вся уверенность ( кстати слово однокоренное со слвом Вера) науки, в том что она правильно описывает действительность ни на чем не основана.
Единственной строго доказанный наученый факт - это то, что мы ничего не знаем.
Вот так вкраце основные достижения гносеологии.
я понимаю массы естественников будут возражать, но теорема Геделя в математике полностью подтвердила выводы Канта.