„Gödel első nemteljességi tétele” változatai közötti eltérés
[nem ellenőrzött változat] | [nem ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
a Bot: következő módosítása: tr:Gödel'in eksiklik teoremi |
|||
44. sor:
Egy másik állítás, ami megfogalmazható, de nem bizonyítható a Peano-axiómarendszerben [[Goodstein tétele]], ahogy azt Laurence Kirby és Jeff Paris igazolta.
==Lásd még==
*[[Gödel második nemteljességi tétele]]
==Irodalom==
|