Assertion: constancy's idea | /r/HasProperty | the basis
Facets:
value: for tarski's theorem
type: OTHER
Source sentences:
text: In fact, this idea—manifested by the diagonal lemma—is the basis for Tarski's theorem that truth cannot be consistently defined.