Assertion: truth predicate | /r/HasProperty | fundamental concept
Facets:
value: in formal theories of truth
type: OTHER
Source sentences:
text: In formal theories of truth, a truth predicate is a fundamental concept based on the sentences of a formal language as interpreted logically.