  Naturalism is often thought to be a conservative philosophy of mathematics, as we suggested in section 1. But actually things are more complicated. Each of the three naturalisms of interest is revolutionary in some respect.