La idea genial de la demostración de Gödel se basa en la construcción de una técnica que puede ser comprobada por cualquier sistema descrito, pero no por el propio sistema.