הבדלים בין גרסאות בדף "הוכחת משפט אי השלימות הראשון של גדל"
מתוך Math-Wiki
(יצירת דף עם התוכן "חזרה למשפטי אי השלימות של גדל (Gödel) ==הוכחת משפט אי השלימות הראשון של גדל== מכיוון שאוסף כ...") |
(אין הבדלים)
|
גרסה מ־14:34, 12 באוקטובר 2011
חזרה למשפטי אי השלימות של גדל (Gödel)
הוכחת משפט אי השלימות הראשון של גדל
מכיוון שאוסף כל המשפטים בתאורייה הוא בן מנייה ניתן לתת לכל משפט בתאוריה מספר, נסמן מספר זה ב[]. לדוגמא: אם 
הוא המשפט השלישי בתאורייה אזי ![[s]=3](/images/math/e/0/f/e0f73c07f29d1d18c075b9d6589d28d8.png)
.
