La demostración de este teorema pasa por construir una cierta fórmula, la «sentencia de Gödel» , que no puede ser probada ni refutada en : ni ni (la negación de ) son teoremas de .