Assertion: constancy's idea | /r/HasProperty | manifested by diagonal lemma
Facets:
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.