Truth in arithmetic is not a language-independent fact but is defined relative to a model, making 't...