Assertion: truth | /r/HasProperty | provable
Facets:
value: in typed theories of truth
type: OTHER
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.