היסטוריה של המתמטיקה – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
שחזור |
←המאה ה-20 והלאה: ==המאה ה-21 והלאה== {{להשלים|נושא=מדעי הטבע|נושא2=מדעי הרוח}} |
||
שורה 511:
ב'''משפט האי שלמות השני''' הוכיח גדל כי תורה שהיא מספיק חזקה לקיים את [[אקסיומות פאנו]] (שהאריתמטיקה הרגילה מכילה אותה) ובפרט כזאת שמקיימת את ה[[תורת הקבוצות האקסיומטית|אקסיומות של תורת הקבוצות (ZF)]] לא יכולה להוכיח את העקביות של עצמה. משמעות הדבר היא שאין אפשרות להוכיח בתוך המערכת כי האקסיומות הן עקביות.
==המאה ה-21 והלאה==
{{להשלים|נושא=מדעי הטבע|נושא2=מדעי הרוח}}
==ראו גם==
|