 Let us say that a Tarskian theory of truth is a recursive theory, built up in ways similar to the theory of truth for \(\mathbf{L}'\). Tarski goes on to demonstrate some key applications of such a theory of truth. A Tarskian theory of truth for a language \(\mathbf{L}\) can be used to show that theories in \(\mathbf{L}\) are consistent. This was especially important to Tarski, who was concerned the Liar paradox would make theories in languages containing a truth predicate inconsistent.