The notion of truth is not definable in any formal system that is strong enough to include arithmetic.
The beauty of mathematics lies in its ability to describe the universe in the most elegant way possible.