So... truth is defined by the parameters set forth in finding it.
If I say 1 + 1 = 2, the only thing that makes it true is that I set the standard of the definition before making the statement.
1 + 1 can equal 3 or 1 if I change the parameters, and the statement can still be true.
Not at all! 2+2 = 4 , always !
Now, J S Mill would have said that it's only empirically true, there's no underlying reason why it should be, and one day you could get 5, it just happens you never do cos that's how the world is!
Wittgenstein wd say, au contraire, all mathis is tautologies, and is necessarily always true,
because it contains no information (in my opinion, that's the correct answer).
The logisist account of maths - that arithmetic is built out of logical structures - wd also see artithmetic as necessarily true, but that's just a different (earlier) version of Wittgenstein's viewpoint.
There's other
versions, for example Peano:
http://en.wikipedia.org/wiki/Peano_axioms