spaLópez Martínez, VíctorGómez Ambrosi, CarlosEl Teorema de Incompletitud de GödelTAZ-TFG-2016-2115En este trabajo se introducen los conceptos clave referentes a los sistemas formales, y después se da una demostración del teorema de incompletitud de Gödel. A grandes rasgos, este teorema dice que cualquier sistema formal en el que se pueda hacer aritmética va a estar incompleto; es decir, que existen verdades que son matemáticamente imposibles de demostrar.Universidad de Zaragoza2016http://zaguan.unizar.es/record/59148http://zaguan.unizar.es/record/59148oai:zaguan.unizar.es:59148