Estaremos construyendo un lenguaje formal muy restringido, y nuestro objetivo al construir ese lenguaje será poder formar ciertas declaraciones sobre ciertos tipos de estructuras matemáticas. Para nue...Estaremos construyendo un lenguaje formal muy restringido, y nuestro objetivo al construir ese lenguaje será poder formar ciertas declaraciones sobre ciertos tipos de estructuras matemáticas. Para nuestro trabajo será necesario poder hablar de constantes, funciones y relaciones, por lo que necesitaremos símbolos para representarlas.