TY  - THES 
A3  - Campillo López, Antonio
AU  - Infante Adrián, Andrés
PY  - 2023
UR  - https://uvadoc.uva.es/handle/10324/63171
AB  - En este trabajo se presentan los teoremas de incompletitud de Gödel, que certifican que cualquier sistema formal capaz de expresar la aritmética, si es
consistente, es incompleto. Y además, que una proposición indecidible en el sistema es su propia...
LA  - spa
KW  - Lógica matemática
KW  - Fundamentos
KW  - Incompletitud
KW  - Teorías formales
TI  - Los teoremas de incompletitud de Gödel
M3  - info:eu-repo/semantics/bachelorThesis
ER  -