Я просто напомню, что математика вся неверифицрумема и лишена опыта как метода. И работает с постулатами ("пусть существует... такое что....") в рамках которых строит внутренне непротиворечивые системы. Ну прямо как аналитическая философия.