אריתמטיקה מסדר שני מחשבים ומערכות מידע
לועזית: second-order arithmetic

הרחבה של אריתמטיקה מסדר ראשון המאפשרת כמתים גם על קבוצות או פונקציות ולא רק על אלמנטים בודדיםץ