  How to understand the meaning of “truth” is an old philosophical problem. A logical approach toward this problem consists in enriching a formalized language \(L\) with a truth predicate \(T\), to be applied to sentences of \(L\) – or, even better, to be applied to sentences of the extension \(L_{T}\) of \(L\) with the predicate \(T\).