El lenguaje formal II 13 marzo, 2013 Horacio Castellini En esta segunda entrega doy la definición de enunciado en la lógica matemática, para luego aplicarlo en la axiomatización de la aritmética.