哥德尔不完备定理
However, it demonstrates a general technique that has since been used in a wide range of proofs, including the first of Gödel's incompleteness theorems and Turing's answer to the "Entscheidungsproblem". Diagonalization arguments are often also the source of contradictions like Russell's paradox and Richard's paradox.