Socio-empirical epistemology of mathematics