In my view, structuralism as presented by Shapiro (1991, 1997), Resnik (1991), and elsewhere offers the most plausible philosophy of mathematics: Mathematics is about structures, indeed it is the science of pure structures. Structures have no mysterious ontological status, and hence mathematics is not ontologically mysterious, either. Again, it is no mystery how we can acquire knowledge about s...