Gödel construyó una fórmula que es satisfactoria pero que no puede ser probada en el sistema.