Math is entirely a priori, that is, a product of our noodles and can neither be proved nor disproved by appeal to empiricism.
For Lurkers: under the Aristotle view, the mathematician invents the math - under the Plato view, the mathematician discovers the math, e.g. pi exists and was only discovered.