arithmetization of syntax - Español Inglés Diccionario