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

←‏ראו גם: הוספת קישור אדום להוכחה של המשפט
(ביטול גרסה: הערך אינו מסייע בהבנת הציטוט)
(←‏ראו גם: הוספת קישור אדום להוכחה של המשפט)
* [[משפט סקולם-לוונהיים]] - משפט נוסף על מגבלות כוח התיאור של [[לוגיקה מסדר ראשון|הלוגיקה מסדר ראשון]].
* [[משפט האי-גדירות של טרסקי]]
*[[סקיצת הוכחת משפט אי-השלמות הראשון של גדל]]
 
==לקריאה נוספת==
42

עריכות