Through this method, he was able to write: “This statement cannot be proved” as an equation, creating the first self-referential mathematical statement.
A través de este método, pudo escribir: “Esta declaración no se puede probar” como una ecuación, creando así, la primera declaración matemática autorreferencial.