But “2+2=4”, in the specific formal system that is common arithmetic, is true. Furthermore, you can translate “2+2=4” to any other formal system (your examples

But “2+2=4”, in the specific formal system that is common arithmetic, is true. Furthermore, you can translate “2+2=4” to any other formal system (your examples, “2+2=10 (base 4)”, “2+2=1 (mod 3)”, etc.), and it’s still true. “2+2=4” is a universal truth, just expressible in different ways.