Benacerraf's epistemological challenge shows that any causal account of mathematical knowledge faces...