שינויים
קפיצה אל:
ניווט
,
חיפוש
הוכחת משפט אי השלימות הראשון של גדל
נוספו 61 בתים
,
אתמול בשעה 17:52
/* הלמה של טרסקי (Diagonal lemma) */
===הלמה של טרסקי (Diagonal lemma)===
לכל פרדיקט עם
שניתן לכתוב ע"י לוגיקה מסדר ראשון
משתנה מספרי אחד <math>P(x)</math> קיים בתאוריה משפט <math>s</math> עבורו:
:<math>s\iff P([s])</math>
דביר654
עריכה אחד
תפריט הניווט
כלים אישיים
כניסה לחשבון
גרסאות שפה
מרחבי שם
דף מיוחד
חיפוש
עוד
צפיות
ניווט
עמוד ראשי
שינויים אחרונים
העלאת קובץ
חומר לימוד
התקנת LyX
סילבוסים
כלים
דפים מיוחדים