  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.
