Describe teóricamente los Teoremas de Incompletitud de Gödel sin símbolos formales. Explica por qué demuestran que en cualquier sistema axiomático lo suficientemente potente para contener aritmética básica, existen proposiciones que no pueden ser probadas ni refutadas dentro del sistema.