דף הבית
דף אקראי
רשימת מעקב
הגדרות
כניסה לחשבון
אודות Math-Wiki
הבהרה משפטית
שינויים
הוכחת משפט אי השלימות הראשון של גדל
נוספו 4 בתים
,
07:21, 13 באוקטובר 2011
/* הוכחת משפט אי השלימות הראשון של גדל */
'''מסקנה''': המשפט <math>s=B([B])</math> מקיים
::--
<math>
s \iff
P([s])
\iff s
</math> כפי שרצינו.
ארז שיינר
ביורוקרט
,
מפעיל מערכת
10,581
עריכות