תנו לגדול בשקט

שבת, 4/3/2006, 10:29

ב. כן. נובע סינטקטית משמעו ניתן להוכחה פורמלית. נובע סמנטית משמעו נכון בכל מודל המקיים את האקסיומות. משפט השלמות אומר שהשניים שקולים.

מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים
RSS מאמרים \| כתבו למערכת \| אודות האתר \| טרם התעדכנת \| ארכיון \| חיפוש \| עזרה \| תנאי שימוש והצהרת נגישות	© כל הזכויות שמורות