Gödel második nemteljességi tétele
matematikai állítás / From Wikipedia, the free encyclopedia
Gödel második nemteljességi tétele Gödel első nemteljességi tételének egy lényeges kiterjesztése. Míg az első nemteljességi tétel azt mondja ki, hogy minden ellentmondásmentes elméletnek van megoldhatatlan problémája, addig ez a tétel konkrét példát mutat: minden ellentmondásmentes elméletben bizonyíthatatlan az elmélet ellentmondásmentessége.