משפטי האי-שלמות של גדל – הבדלי גרסאות

* [[משפט הרקורסיה]] - משמשת בחלק מההוכחות למשפטי האי-שלמות של גדל.

* [[משפט סקולם-לוונהיים]] - משפט נוסף על מגבלות כוח התיאור של [[לוגיקה מסדר ראשון|הלוגיקה מסדר ראשון]].

==לקריאה נוספת==

* ארנסט נאגל וג'יימס ניומן, '''משפט גדל''', תרגמו: יעל הרפז רובין ונצה מובשוביץ הדר, הוצאת [[הטכניון]], 1993.