[smhost]

nobody knows whether mathematics really exists "out there", independent of human minds, which is what you're talking about. people are generally more interested in how mathematics appears to humans.

the basic tools and methods we have of investigating mathematics is designed for human minds. what are mathematical axioms if not the attempt to discover the point beyond which human cognition can't go? if you truly believe that there is a mind-independent mathematics "out there", and you believe that humans are really that insignificant, then you must believe that the totality of mathematics is vastly beyond the reach of human minds. so then the mathematics that is available to humans as of today must be a very small part of mathematics in itself, and it's not a coincidence that we find it so useful.