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