Describe los dos teoremas de incompletitud de Kurt Gödel. Analiza cómo demuestran que en cualquier sistema formal lo suficientemente complejo (como la aritmética) existen proposiciones que no pueden ser probadas ni refutadas dentro del sistema. Discute el impacto teórico en el logicismo y la búsqueda de una fundamentación absoluta de las matemáticas.