This is a mistaken understanding. Axioms define the logic of Mathematics.
E: I guess I may have misinterpreted. I mixed up “supersede” with “precede” in my head. I mean to say axioms are a precursor to logic systems. The axiom has to be agreed upon before any truthful statements can be made.
If A, B, C … then Y is a self contained true statement. You can’t simply say Y alone is true because without A, B, C, … it’s not true.
People tend to assume A, B, C etc when they say things like 1 + 1 = 2 but that’s just a quark of language. Words like him or they work because people can work out the specifics from context.
This phrasing helps me to see your point; gives me something to think about. Thanks for your patience in explaining! I enjoyed the conversation.
Axioms are just another aspect of Mathematics and changing them has utility for mathematicians. Euclidean geometry for example uses one set and a wide range of non Euclidean geometry systems use different sets.
The universal truth that in Euclidean geometry the interior angles of a triangle add up to 180 degrees is not diminished because the interior angles of a triangle can add up to different numbers in spherical geometry. It’s just two different systems but they all fall under Mathematics.