Meme of LinOnetwo

破坏性的自指。

例如说谎者悖论里代词指代命题自身，可以用于构造哥德尔不完备定理，用于证伪。以及停机问题，通过自指的方式来反证命题不成立。罗素也提出理发匠悖论是否定性的。