„Gödel első nemteljességi tétele” változatai közötti eltérés

'''[[Kurt Gödel|Gödel]] első nemteljességi tétele''' a [[matematikai logika]] és a [[metamatematika]] nagy jelentősségűjelentőségű tétele, mely (a [[Gödel második nemteljességi tétele|második nemteljességi tétel]]lel együtt) destruktív hatást gyakorolt a [[matematika]] [[formális nyelv]]ekre építő [[a matematika alapjai|megalapozás]]i 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.