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

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