El lenguaje formal V 18 marzo, 2013 Horacio Castellini Es es la última entrega sobre lenguaje formal, donde finaliza con el teorema de la incompletitud de Gödel.