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

התורה האריתמטית המאפשרת חיבור וכפל - וכן חיסור וחילוק - וגם כַּמָתים על אלמנטים וקַשָרים לוגיים מקובלים