Except Tarski didn't really solve it, he just kinda swept it under the rug. The object language/metalanguage distinction introduces an infinite regression (since, the moment you want to talk about the metalanguage, you need a metametalanguage for those statements, which means you'll need a metametametalanguage, and so on).

And then Godel blew everything up anyway :)