לוגיקה מסדר שני: הבדלים בין גרסאות

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