"Ningún sistema consistente se puede usar para demostrarlo a él mismo." K. Gödel, Teorema de la Incompletud