Esencialmente, Gödel construyó una fórmula que asegura ser no-demostrable para cierto sistema formal.