Kurt Gödel

Pada tahun 1931, ketika masih di Vienna, Gödel menerbitkan teorema ketaklengkapan dalam "Über formal unentscheidbare Sätze der "Principia Mathematica" und verwandter Systeme" (dalam bahasa Inggris disebut "").