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