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.

翻译：我们把戈德勒的第一个不完全理论(1931年)、塔尔斯基的不可确定理论(1933年)、戈德勒-卡纳普的对角 Lemma(1934年)和罗斯的(加强戈德勒的第一个)不完全理论(1936年)统一起来,后者的证据非常相似,使用的技术几乎相同。