Насчёт недоказуемости аксиом у меня ответ такой же, как и насчёт того, живём ли мы в матрице или в реальном мире: определённые закономерности есть, мы их познать можем, и это работает. И этого достаточно.