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.
No, axioms are part of any truthful mathematical statements.
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 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.