After Gödel published his proof of the completeness theorem as his doctoral thesis in 1929, he turned to a second problem for his habilitation.
Setelah Gödel mempublikasikan buktinya mengenai teorema kelengkapan sebagai tesis doktoralnya pada tahun 1929, ia beralih kepada problem kedua untuk habilitasinya.