El lenguaje formal IV 15 marzo, 2013 Horacio Castellini En esta entrega hago una introducción a la aritmética de Peano y la clásica demostración que 1+1=2, es decir que dicha afirmación es verdadera.