Kurt Gödel -LRB- ; 28 avril 1906, Brno, Moravia, Autriche -- Hongrie -- le 14 janvier 1978, Princeton, New Jersey, États-Unis - RRB- est un logician, mathématicien et philosophe autrichien.
Les théorèmes ont été publiés en 1931.