 |
שלמות
| Wikipedia ויקיפדיה העברית - האנציקלופדיה החופשית | Download this dictionary |
שלמות
שלמות (באנגלית: Completeness) בלוגיקה ובלוגיקה מתמטית היא תכונה של מערכת אקסיומטית. מערכת נתונה של אקסיומות וכללי היסק היא שלמה אם אפשר להכריע בה לגבי כל נוסחה אמיתית, כלומר, אפשר להוכיח את הנוסחה או את שלילתה. במלים אחרות, אין בה טענות עצמאיות.
| להמשך המאמר ראה Wikipedia.org... |
© מאמר זה משתמש בתוכן מ-ויקיפדיה® וכפוף לרשיון לשימוש חופשי במסמכים של גנו GNU Free Documentation License וכפוף לרישיון Creative Commons ייחוס-שיתוף זהה
