Surely you mean:

“Tarski was a mathematician” is true if and only if Tarski was a mathematician. [1]

[1]: https://en.m.wikipedia.org/wiki/T-schema