Is mathematics really true? I'm reading Learning to Reason by Nancy Rodgers, and she says:

"Truth cannot be absolute in mathematics. Truth is relative, relative to the system that we construct for it."
"Today we consider an axiom to be nothing more than a sentence that is assumed true for a particular system. The same sentence could possibly be false in another system"

then she gives an example (you don't need to read it all, it's just an example):

The axioms for Euclidean geometry were based on the
human visual perception of straight lines, but our visual perception is limited to very small distances. Our intuitive notion of straightness is based completely on light rays. Einstein predicted that a ray of light would be curved over large distances. Light rays are distorted by a gravitational field. The gravitational field comes from all the mass hanging out in that vicinity. The mass is hanging out there because of the curvature of space. An axiomatic system that models space as curved is different from Euclidean geometry. Even though we have curves in Euclidean geometry, space itself is not curved. Euclidean geometry is a good model of physical space when we are only concerned with small distances, when cosmic distances are involved, non-Euclidean geometry may provide a better model.

Now, I don't know if I'm misinterpreting things, but if "truth cannot be absolute in mathematics" does it mean that it can't be true "for everyone in the universe"? I've always thought about math like the realest thing someone can know, something that everyone in the universe must know (for example, if an ant doesn't have any food, it understands that it has $0$ food, so it knows about quantities).

So my question is, do these paragraphs mean that an axiom or a rule in general is not always true in every system, or it means that math is true only "in our heads" because we think of it in this way?

 A: Mathematics is absolute truth. But people tend to be wrong about how mathematics is absolute truth. They learn about numbers and shapes, and are eventually introduced to Euclidean geometry and its axioms, and they think "these axioms are universal truths, and everything follows from them logically".
And then, the horror sets in. They hear rumors about ... non-euclidean geometry. And they think "but that isn't real - it's just playing around". But then the physicists say "it is real". And their world falls about. There are no absolute truths! Everything is relative!
What they fail to realize is that they were misunderstanding the nature of mathematics all along. Mathematics isn't "real" and it never was. That is, it never deals with the physical world. It instead exists within a realm of thought only. Now, it has applications to the real world. It was invented (or discovered) exactly to describe things in the real world. But those applications are not part of mathematics itself. Whether or not those applications provide accurate or fallacious descriptions of the real world is not a mathematical question. Perfectly good mathematics has often been used for both. Those are questions for scientists and philosophers.
Yes, mathematical theories start with axioms. And yes, you can choose other axioms that disagree, and get another mathematical theory that is just as valid as the original. Which is correct? Both are! If you grew up only seeing and eating red apples, then one day went to a grocery store and saw green apples, should you recoil in horror and think your entire world has been turned upside down? Obviously, a better response would be "Neat! We get variety in apples!" The same is true here. Hyperbolic geometry is just a different variety of mathematics from Euclidean geometry. It is a whole new playground we can explore! Which is the "real geometry"? Well, what does "real geometry" even mean? The geometry of the physical world? That is a physics question, not a mathematical one.
So we abandon absolute truth? No. The axioms were never absolute. They are just definitions. They define the particular theory we are working in. But you are always free to define a different theory. What is absolute is not the axioms, but rather that the theorems in a theory follow from its axioms (based on its logic system - that can be redefined too). So I can't claim once and for all and ever more that through a point not on a line, there is exactly one other line parallel to the first. But I can say once and for all and ever more that in that system where there is only one parallel (amongst various other defining axioms), the interior angles of a triangle will add up to a straight line.
