שלמות – הבדלי גרסאות

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