Tarski shows how, for a classical first order language whose quantifiers range over a set, he can give a mathematical definition of truth, using the predicates of the object language plus set theory (higher order logic).