Full Idea
Tarski turned his axiomatic characterisation of satisfaction into an explicit definition of the satisfaction-predicate using some fancy set theoretical apparatus, and this in turn leads to the explicit definition of the truth predicate.
Gist of Idea
Tarski gave axioms for satisfaction, then derived its explicit definition, which led to defining truth
Source
report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Donald Davidson - Truth and Predication 7
Book Reference
Davidson,Donald: 'Truth and Predication' [Belknap Harvard 2005], p.160
Related Idea
Idea 19174 Axioms spell out sentence satisfaction. With no free variables, all sequences satisfy the truths [Davidson]