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

'''שלמות''' (באנגליתב[[אנגלית]]: '''Completeness''') ב[[לוגיקה]] וב[[לוגיקה מתמטית]] היא תכונה של [[תורה (לוגיקה מתמטית)|מערכת אקסיומטית]]. מערכת נתונה של [[אקסיומה|אקסיומות]] וכללי היסק היא שלמה אם אפשר להכריע בה לגבי כל נוסחה אמיתית, כלומר, אפשר [[הוכחה (לוגיקה מתמטית)|להוכיח]] את הנוסחה או את שלילתה. במלים אחרות, אין בה טענות [[עצמאות (לוגיקה מתמטית)|עצמאיות]].