mantıkçı, matematikçi ve matematik felsefecisidir.
Teoremlerinde tam sayı aritmetiğini içerecek kadar karmaşık herhangi bir sistemin içinde, sistemin aksiyomlarından yola çıkarak doğruluğu veya yanlışlığı kanıtlanamayacak önermeler bulunacağını ispatlamıştır.
(bkz: Eksiklik Teoremi)
