论文标题
Godel，Tarski，Carnap和Rosser的团聚
A Reunion of Godel, Tarski, Carnap, and Rosser
论文作者
论文摘要
我们统一了Godel的第一个不完整定理（1931年），Tarski的《不确定定理》（1933年），Godel-Carnap的斜齿引理（1934年）和Rosser（加强Godel的第一个不完整）不完整定理（1936年），它们的证明是相同和相同的技术。
We unify Godel's First Incompleteness Theorem (1931), Tarski's Undefinability Theorem (1933), Godel-Carnap's Diagonal Lemma (1934), and Rosser's (strengthening of Godel's first) Incompleteness Theorem (1936), whose proofs resemble much and use almost the same technique.
