Assertion: truth | /r/HasProperty | taken as predicate
Facets:
value: in many axiomatic truth theories
type: OTHER
Source sentences:
text: In many axiomatic truth theories, truth is taken as a predicate applying to the Gödel numbers of sentences.