El argumento central de la demostración hecha por Gödel se basa en que puede escribirse