e/Truth predicate

Information
has gloss	eng: In formal theories of truth, a truth predicate is a fundamental concept based on the sentences of a formal language as interpreted logically. That is, it formalizes the concept that is normally expressed by saying that a sentence, statement, or idea "is true."
lexicalization	eng: Truth predicate
instance of	c/Theories of truth