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

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