first-order arithmetic

1. REDIRECT List_of_first-order_theories#Arithmetic

{{Redirect with possibilities}}