More to the point, our mathematics work to solve real problems up to a certain point. For instance our mathematics have not yet been able to identify polynomial

More to the point, our mathematics work to solve real problems up to a certain point. For instance our mathematics have not yet been able to identify polynomial-time solutions to problems in the class NP and it's possible that this is exactly because our mathematics are inadequate to express such solutions, if such solutions do exist (and Donald Knuth, for example, believes they do). In which case we'll never know whether P = NP (or we will, but it won't be any use, similar to what Knuth, again, suggests). It is a tautology that the famous incompleteness results in mathematics and computer science are the result of the axioms of arithmetic used to derive them. Would Gödel be able to derive his incompleteness result without Peano's axiomatisation of arithmetic? Not really. Arithmetic is axiomatic and our axioms of it are arbitrary and ad hoc. Because they're axioms. Who says aliens would come up with the same ones? There are huge assumptions made in this thread that only indicate the brief time that the contributors have given to thinking about all this stuff. If you think about it for a couple of minutes, sure, it all feels very natural. Zero, infinity, division, mathematical logic, set theory, etc. But if you think about it a bit more, and then do a bit more than think, and go read about it, it's obvious that those are just the ideas that we chose to go with, not the only ones that exist, and certainly not the only ones proposed by mathematicians, logicians, computer scientists and philosophers over the years. For instance, Hilbert was a finitarian, division doesn't work with zero, zero doesn't work with division, dividing an infinity multiplies it, material implication leads to counter-intuitiveness paradoxes, set theory with only the membership relation leads to paradoxes, etc etc etc. Mathematics is full of unnatural holes that need constant patching up, and there is nothing to say that it is in any way, shape or form "real", let alone universal as so many people in this thread seem to be saying.