Full Idea
Tarski's Theorem applies to any sufficient precise version of the correspondence theory of truth, and all the other traditional theories of truth.
Gist of Idea
Tarski's Theorem renders any precise version of correspondence impossible
Source
report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Volker Halbach - Axiomatic Theories of Truth 1
Book Reference
Halbach,Volker: 'Axiomatic Theories of Truth' [CUP 2011], p.5
A Reaction
This is the key reason why modern thinkers have largely dropped talk of the correspondence theory. See Idea 16295.
Related Idea
Idea 16295 Tarski proved that truth cannot be defined from within a given theory [Tarski, by Halbach]