שלמות – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
Anishoshana (שיחה | תרומות) אין תקציר עריכה תגיות: שוחזרה עריכה ממכשיר נייד עריכה דרך האתר הנייד |
מ שוחזר מעריכות של Anishoshana (שיחה) לעריכה האחרונה של RimonLV |
||
שורה 1:
{{פירוש נוסף|נוכחי=מושג בלוגיקה|אחר=מונח בטופולוגיה|ראו=[[מרחב מטרי שלם]]}}{{מפנה|תורה שלמה|ליקוט מדרשים על התורה|מנחם מנדל כשר}}
'''שלמות''' (ב[[אנגלית]]: '''Completeness''') ב[[לוגיקה]] וב[[לוגיקה מתמטית]] היא תכונה של [[תורה (לוגיקה מתמטית)|מערכת אקסיומטית]]. מערכת נתונה של [[אקסיומה|אקסיומות]] וכללי היסק היא שלמה אם אפשר להכריע בה לגבי כל נוסחה אמיתית, כלומר, אפשר [[הוכחה (לוגיקה מתמטית)|להוכיח]] את הנוסחה או את שלילתה. במילים אחרות, אין בה טענות [[עצמאות (לוגיקה מתמטית)|עצמאיות]].
==שלמות ונאותות==
| |||