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