In light of the philosophical uses to which Godel puts the incompleteness theorems, the incompleteness theorems themselves may be viewed as examples of philosophy become rigorous science.A la luz de los usos filosóficos a los que Godel aplica los teoremas de incompletud, los teoremas de incompletud en sí mismos pueden ser vistos como ejemplos de la filosofía hecha ciencia rigurosa.