Traducción inglés español

English version

¿Qué significa "first-order arithmetic" en español?