Uno de los grandes resultados de los trabajos de Gödel fue demostrar que cualquier sistema formal lo suficientemente potente para describir la aritmética de los números naturales contiene proposiciones indecidibles. Estas ...