Amikor Kurt Gödel 1931-ben publikálta híres befejezetlenségi tételeit, az megrázta a matematikai logika alapjait: cáfolta, hogy minden lehetséges axióma, amelyet lehetséges alapként fel lehet állítani, elkerülhetetlenül hiányos a számokkal kapcsolatos állítások bizonyítása érdekében - és ezt megsemmisítette Hilbert álma, hogy bebizonyítsa a matematikai elmélet következetességét.
A Gödel-számok bevezetése (a képletek egyértelmű leképezése természetes számokra) és az átlósítás (a függvények szabad változójának helyettesítése a megfelelő Gödel-számmal) két központi fogalom, amelyeket Gödel bevezet a bizonyításában. A kulcsfontosságú bizonyítási ötlet, amelyben Gödel ezeket a fogalmakat ötvözi, a következőképpen írható fel.:
$$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}$$
Mivel a \(P(p)\) nem lehet hamis (mivel egyébként bizonyítható és ezért igaz), a \(P(p)\) igaznak és ezért nem bizonyíthatónak \(P(p)\) . Így mindig van egy igaz mondat egy nyelvben (bármilyen axiómaválasztással), amelyet nem lehet bizonyítani. Itt \(g\) a Gödelization, \(p\) a \(P\) predikátum Gödel száma, amely a \(B\) (az összes halmaza kiegészítő archetípusa \(\overline{B}^*\) Az összes bizonyítható tétel Godel-számai) az átlós függvény alatt \(d\) .
További olvasmányként Gödel 1931-es publikációját és Sztyepan Parunasvili hasznos cikkét ajánljuk. A hiányossági tételek mellett Gödel más úttörő eredményeket is tett, beleértve Cantor kontinuumhipotézisének cáfolhatatlanságát és az Isten létezésének ontológiai érvelését a modális logika nyelvén.