What you are missing is 1 = 1 isn’t inherently true on it’s own.

There are sets of axioms where 1 = 1 is false, different sets where it’s undefined, and finally sets of axioms where 1 = 1 is true.

However, for a given set of axioms there is no choice and nothing to agree upon. That’s what makes math universally true.