הרחבה של אריתמטיקה מסדר ראשון המאפשרת כמתים גם על קבוצות או פונקציות ולא רק על אלמנטים בודדיםץ
second-order arithmetic
***
לא נמצא דקדוק לערך _
לא נמצאו ניבים וצירופים לערך _
מקור המילה _ (אטימולוגיה)
לא נמצאה אטימולוגיה לערך _
לא נמצאה נרדפות וניגודים לערך _
לא נמצאה חריזה לערך _