ארז שיינר
←סיום הוכחת משפט אי השלימות הראשון של גדל בעזרת הלמה של טרצקי
-2
ארז שיינר
←הוכחת משפט אי השלימות הראשון של גדל
+1,726
ארז שיינר
←הוכחה
ארז שיינר
←הוכחת משפט אי השלימות הראשון של גדל
+4
ארז שיינר
←הוכחה
+50
ארז שיינר
←הוכחה
+860
ארז שיינר
←הוכחה
+353
ארז שיינר
←הוכחה
-1
ארז שיינר
←הוכחת משפט אי השלימות הראשון של גדל
+35
ארז שיינר
←הלמה של טרצקי (Diagonal lemma)
+452
ארז שיינר
←הוכחת משפט אי השלימות הראשון של גדל
+412
ארז שיינר
יצירת דף עם התוכן "חזרה למשפטי אי השלימות של גדל (Gödel) ==הוכחת משפט אי השלימות הראשון של גדל== מכיוון שאוסף כ..."
+416