I suppose it must be by definition; although an axiom is true in a formal system, it is not mandatory that it must be true in all formal systems. For example, 1+1=10 is true in the binary system but not in the decimal system. So we can establish a formal system where 1+1=3 is true.