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