הבדלים בין גרסאות בדף "משפטי האי-שלמות של גדל"

מ (r2.7.3) (בוט מוסיף: et:Gödeli mittetäielikkuse teoreem)
* [[משפט הרקורסיה]] - משמשת בחלק מההוכחות למשפטי האי-שלמות של גדל.
* [[משפט סקולם-לוונהיים]] - משפט נוסף על מגבלות כוח התיאור של [[לוגיקה מסדר ראשון|הלוגיקה מסדר ראשון]].
* [[משפט איהאי-הגדירות של האמתגדירות של טרסקי]]
 
==לקריאה נוספת==
* ארנסט נאגל וג'יימס ניומן, '''משפט גדל''', תרגמו: יעל הרפז רובין ונצה מובשוביץ הדר, הוצאת [[הטכניון]], 1993.