Making room for mathematicians in the philosophy of mathematics