CEVAP: Gödel’in eksiklik teoremlerinin Hilbert programının başarılamayacağını gösterdiği kabul edilse de bu negatif sonuç, Gerhard Gentzen’in (1909-1945) 1930lardaki çalışmasıyla başlayan ve Görelenmiş Hilbert Programları olarak adlandırılan yeni bir çalışma alanının doğmasına yol açmıştır. Bu alandaki çalışmalar kanıt kuramının gelişmesini sağlamıştır. Bunlar: • Seçme Belirtinin Bağımsızlığı • İyi-sıralama ilkesi • Zorn lemması • Banach-Tarski teoremi