:''A Gödel-tétel ide irányít át. Más jelentéseihez lásd a [[Gödel-tétel (egyértelműsítő lap)]] cikket.''
'''Gödel első nemteljességi tétele''' [[[[Kurt Gödel]] osztrák matematikus [[matematikai logika]] és a [[metamatematika]] nagy jelentőségű tétele, mely (a [[Gödel második nemteljességi tétele|Gödel második nemteljességi tételével]] együtt) destruktív hatást gyakorolt a [[matematika]] [[formális nyelv]]ekre építő [[a matematika alapjai|megalapozási]] kísérleteire. Amellett, hogy a tételnek az [[analitikus filozófia|analitikus]] [[nyelvfilozófia|nyelvfilozófiában]] is fontos szerepe van, bizonyításának módszere nagyban hozzájárult a [[rekurzív matematika]] (így a [[számítógép-tudomány]]) fejlődéséhez.