As has been shown in Section 3, Tarski (1935, p. 257) rejected an axiomatization of truth like tb based solely on the T-sentences because the resulting theory ‘would lack the most important and most fruitful general theorems’. Moreover, he did not expect that adding some of those general theorems as axioms would lead to a satisfactory theory of truth because he thought that such an axiomatization would be somewhat arbitrary (see p. 20).

Ironically Tarski's definition of truth prepared the ground for the wide acceptance of a theory – or rather, a family of theories – that go beyond purely disquotational theories but are nevertheless seen as natural, and far from arbitrary. The inductive clauses from Tarski's definition of truth can be turned into axioms. The resulting theory is thought by many philosophers and logicians to be a theory of truth that is natural and, in a sense, complete: it proves generalizations of the kind Tarski had in mind. In particular, it proves the general principle of contradiction, the statement that not both a sentence and its negation can be true.

Donald Davidson assigned an important role to this axiomatization of truth in his theory of meaning (see Davidson 1984c and Fischer 2008). He proposed to turn Tarski's clauses for defining truth into axioms.