Teorema ketaklengkapan Gödel

Setelah Gödel mempublikasikan buktinya mengenai sebagai tesis doktoralnya pada tahun 1929, ia beralih kepada problem kedua untuk nya. Tujuan asalnya adalah untuk memperoleh pemecahan positif dari (Dawson 1997, p. 63). Pada saat itu, teori-teori bilangan asli dan bilangan real yang mirip dengan dikenal sebagai "analisis", sedangkan teori-teori bilangan asli saja dikenal sebagai "aritmetika".