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

שפה מסדר ראשון <math> \mathcal L </math> מורכבת מ[[פסוק (לוגיקה)|פסוקים]], שהם רצפים חוקיים של אותיות מתוך ה[[אלף-בית (שפה פורמלית)|אלף-בית של השפה]]. באלף-בית יש ארבעה סוגים של אותיות:

# <math> \mathcal V </math> – אוסף כל סימני המשתנים, למשל <math>\ v_0,v_1,v_2,v_3,\dots</math>.

# <math> \mathcal F </math> – אוסף כל סימני הפונקציות, כאשר כל פונקציה מאופיינת בשלושה דברים עיקריים (מלבד שמה), והם:

:::::: א. [[מקומיות (תורת הקבוצות)|פונקציית המקומיות]] <math> \sigma </math>, אשר בעצם אומרת לנו כמה פרמטרים מקבלת הפונקציה (קלט) וכמה היא תחזיר (פלט).