I'm perfectly comfortable using "tautology" in the sense of "formally verifiable". Why aren't you?
Because tautology does not mean that. Godel did not waste his time proving tautologies.