López Martínez, Víctor Gómez Ambrosi, Carlos El Teorema de Incompletitud de Gödel En 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. spa Universidad de Zaragoza Zaragoza 2016

http://zaguan.unizar.es/record/59148/files/TAZ-TFG-2016-2115.pdf;

Imported from Invenio.