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 https://en.

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 https://en.m.wikipedia.org/wiki/T-schema