Mathematical quasi-empiricism