Kiam Kurt Gödel publikigis siajn famajn Nekompletecajn Teoremojn en 1931, ĝi skuis la fundamentojn de matematika logiko: Li refutis, ke ĉiuj aksiomoj starigeblaj kiel ebla bazo estas neeviteble nekompletaj por pruvi ĉiujn asertojn pri nombroj - kaj detruis tion La sonĝo de Hilbert pruvi la konsekvencon de matematika teorio.
La enkonduko de nombroj de Gödel (la unika aplikado de formuloj al naturaj nombroj) kaj diagonaligo (la anstataŭigo de la libera variablo en funkcioj per ĝia respektiva nombro de Gödel) estas du centraj konceptoj, kiujn Gödel enkondukas en sia pruvo. La decida pruvideo, en kiu Gödel kombinas ĉi tiujn konceptojn, povas esti skribita jene.:
$$P(p) \, \text{wahr} \Leftrightarrow p \in \, \overline{B}^* \Leftrightarrow d(p) \in \overline{B} \Leftrightarrow d(p) \notin B \Leftrightarrow g(P(p)) \notin B \Leftrightarrow P(p) \, \text{unbeweisbar}$$
Ĉar \(P(p)\) ne povas esti falsa (ĉar ĝi alie estus pruvebla kaj do vera), \(P(p)\) vera kaj do ne pruvebla. Do ĉiam estas vera frazo en lingvo (kun ia elekto de aksiomoj) nepruvebla. Jen \(g\) la Gödelization, \(p\) la Gödel-nombro de la predikato \(P\) , kiu estas la komplementa arketipo \(\overline{B}^*\) de \(B\) (la aro de ĉiuj Godel-nombroj de ĉiuj pruveblaj proponoj) sub la diagonala funkcio \(d\) .
Por plia legado , la publikaĵo de Gödel el 1931 kaj la komprenema artikolo de Stepan Parunashvili estas rekomendindaj. Krom la nekompletecaj teoremoj, Gödel faris aliajn pionirajn kontribuojn, inkluzive de la nerefuteblo de la kontinua hipotezo de Cantor kaj la ontologia argumento por la ekzisto de Dio en la lingvo de modala logiko.