תורה (לוגיקה מתמטית) – הבדלי גרסאות

תורה שבה לא ניתן [[הוכחה (לוגיקה מתמטית)|להוכיח]] אף פסוק מן הצורה <math>\ \phi \and \neg \phi</math> נקראת '''[[עקביות (לוגיקה מתמטית)|תורה עקבית''']]. בתורה שאיננה עקבית אפשר להוכיח '''כל''' פסוק, ולכן קשה למצוא בהןבכאלה עניין רב. תורה שבה, לכל פסוק נטול משתנים חופשיים, אפשר להוכיח את הפסוק או את שלילתו, נקראת '''תורה שלמה'''.