タルスキの定義不可能性定理
この定義不可能性定理はこれまでアルフレト・タルスキによるものとされてきたが、ゲーデルもまた、1931年に発表した不完全性定理の証明の中で、1930年に定義不可能性定理を発見している。これは1933年に発表したタルスキよりもかなり前である。ゲーデルは独立に定義不可能性を発見したことに関して発表することはなかったが、1931年にジョン・フォン・ノイマンに宛てた手紙の中では触れている。タルスキは1933年のモノグラフ "The Concept of Truth in the Languages of the Deductive Sciences" にあるほとんどの結果は1929年から1931年にかけて得ており、ポーランドの聴衆にこれらのことを話している。しかしながら、論文の中で彼が強調したように、定義不可能性定理だけはそれ以前に得られていない結果であった。その1933年のモノグラフの定義不可能性定理 (Twierdzenie I) の脚注によれば、この定理と証明のスケッチは、1931年に原稿が印刷所に送られた後モノグラフに追加されたものである。タルスキは、1931年3月21日にワルシャワ科学アカデミーにおいて自身のモノグラフの内容を講演したときに、ゲーデルの不完全性定理に関する短い報告と自身の独自研究に一部基づくいくつかの予想をその場で話しただけであると報告している。