| dbo:abstract
|
- 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 azt mondja ki, hogy minden „valamirevaló” van megoldhatatlan problémája, addig ez a tétel konkrét példát mutat: minden „valamirevaló” elméletben bizonyíthatatlan, hogy maga az elmélet . (hu)
- 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 azt mondja ki, hogy minden „valamirevaló” van megoldhatatlan problémája, addig ez a tétel konkrét példát mutat: minden „valamirevaló” elméletben bizonyíthatatlan, hogy maga az elmélet . (hu)
|
