שלמות
תכונה של מערכת אקסיומטית בלוגיקה / ויקיפדיה האנציקלופדיה encyclopedia
שלמות (באנגלית: Completeness) בלוגיקה ובלוגיקה מתמטית היא תכונה של מערכת אקסיומטית. מערכת נתונה של אקסיומות וכללי היסק היא שלמה אם אפשר להכריע בה לגבי כל נוסחה אמיתית, כלומר, אפשר להוכיח את הנוסחה או את שלילתה. במילים אחרות, אין בה טענות עצמאיות.
מתקיים דיון בו מוצע לאחד את הערך שלמות (לוגית) עם ערך זה. | |
ערך ללא מקורות | |