שינויים

קפיצה אל: ניווט, חיפוש

הוכחת משפט אי השלימות הראשון של גדל

נוספו 61 בתים, אתמול בשעה 17:52
/* הלמה של טרסקי (Diagonal lemma) */
===הלמה של טרסקי (Diagonal lemma)===
לכל פרדיקט עם שניתן לכתוב ע"י לוגיקה מסדר ראשון משתנה מספרי אחד <math>P(x)</math> קיים בתאוריה משפט <math>s</math> עבורו:
:<math>s\iff P([s])</math>
דביר654
עריכה אחד
מקור: https://math-wiki.com/index.php?title=מיוחד:השוואה_ניידת/90151