אריתמטיקת פרסבורגר מחשבים ומערכות מידע
לועזית: Presburger arithmetic

תורה אריתמטית מסדר ראשון אשר בה הפעולה האריתמטית היחידה המותרת היא חיבור.