Gödel-szám

Kapcsolódó fogalmak: 
Gödel nemteljességi tétele
Rövid szöveges bemutatás: 
A Gödel szám a Gödel nemteljességi tétel bevezetésében használt szám. A számot arra használja a tétel megfogalmazója, hogy ennek segítségével legyen képes mondatok jelölésére. A számokat magukat a Gödel tételben használt jelekhez rendeli, így jelölve később a számokkal mondatokat, amik majd értelmes egészet alkotnak. A szám igazi jelentősége a Gödel nemteljességi tételének bizonyításában van, a használatához már kevésbé van köze. Azonban a bizonyítás bemutatása körülbelül a fél könyv terjedelmével vetekszik, így ettől jobban itt se tudom bemutatni a szám jelentőségét.