Por el lema de diagonalización existe una sentencia con número de Gödel , para la que se demuestra , es decir, que afirma «ningún número codifica una demostración (en ) de la fórmula representada por », o de otro modo, «no soy demostrable (en )».