Rather than the philosopher dictating what math should be by tracing it all back to pure forms of time and space, instead the discovery of things like Riemann spaces, transfinite mathematics, category, topology, etc., should lead the philosopher back to the drawing board as to the nature of what is and what is not.