תורה (לוגיקה מתמטית)

תורה בבבלוגיקה היא רשימה של כללים ושפה מתמטית. אקסיומה היא משפט שמקבלים כנכון בתוך הרשימה. משתנה חופשי הוא משתנה שלא קשור בכמותים כמו "לכל" או "קיים". לשפה עצמה אין פירוש עד שבוחרים מודל, כלומר מבנה שמתאים לסימנים. דמיינו מסעדה: P אומר "זו צלחת" ו‑A(x,y) אומר ש‑x ו‑y יושבים באותו שולחן. אז חוק יכו...