|
||||
|
||||
אבל המשפטים הם הפוכים: משפט השלמות של גדל (המקשר בין מודל לתורה) הוא על תורות מסדר ראשון, ומשפט אי השלמות הוא על תורות בכלל, לאו דווקא מסדר ראשון. |
חזרה לעמוד הראשי | המאמר המלא |
מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
RSS מאמרים | כתבו למערכת | אודות האתר | טרם התעדכנת | ארכיון | חיפוש | עזרה | תנאי שימוש | © כל הזכויות שמורות |