Gödel-tétel (egyértelműsítő lap)
egyértelműsítő lap
Gödel nevéhez több tétel is fűződik:
- Gödel teljességi tétele
- Gödel kompaktsági tétele
- Gödel első nemteljességi tétele
- Gödel második nemteljességi tétele
| Ez egy egyértelműsítő lap, a hasonló megnevezések közötti választást segíti elő. Ha valamelyik cikkből kerültél ide, arra kérünk, lépj vissza, és pontosítsd benne a hivatkozást, hogy ne erre az egyértelműsítő lapra, hanem közvetlenül a kívánt jelentésre mutasson! |