Assertion: truth | /r/CapableOf | avoid paradox
Facets:
Source sentences:
text: In typed theories of truth, only the truth of sentences not containing the same truth predicate is provable, thus avoiding the paradoxes by observing Tarski’s distinction between object and metalanguage.