哥德尔不完备定理
In "Gödel, Escher, Bach: An Eternal Golden Braid", author Douglas Hofstadter suggests that the Quine sentence in fact uses an indirect type of self-reference. He then shows that indirect self-reference is crucial in many of the proofs of Gödel's incompleteness theorems.