Naturalizing Logico-Mathematical Knowledge