formal system - Alemán Inglés Diccionario