Redirecting to Quasi-empiricism in mathematics