ויקיפדיה

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

עיון אינטראקטיבי בהיסטוריה
→ העריכה הקודמתהעריכה הבאה ←
תוכן שנמחק תוכן שנוסף
חזותיקוד ויקי
מ שוחזר מעריכות של 80.178.84.118 (שיחה) לעריכה האחרונה של Eldad
אין תקציר עריכה
תגיות: עריכה ממכשיר נייד עריכה דרך האתר הנייד
שורה 1:
עמית שליט = שלמות
{{פירוש נוסף|נוכחי=מושג בלוגיקה|אחר=מונח בטופולוגיה|ראו=[[מרחב מטרי שלם]]}}
'''שלמות''' (ב[[אנגלית]]: '''Completeness''') ב[[לוגיקה]] וב[[לוגיקה מתמטית]] היא תכונה של [[תורה (לוגיקה מתמטית)|מערכת אקסיומטית]]. מערכת נתונה של [[אקסיומה|אקסיומות]] וכללי היסק היא שלמה אם אפשר להכריע בה לגבי כל נוסחה אמיתית, כלומר, אפשר [[הוכחה (לוגיקה מתמטית)|להוכיח]] את הנוסחה או את שלילתה. במילים אחרות, אין בה טענות [[עצמאות (לוגיקה מתמטית)|עצמאיות]].
 
==שלמות ונאותות==
אוחזר מתוך "https://he.wikipedia.org/wiki/שלמות"