ºÝºÝߣ

Buenos Aires, Argentina

Todo sistema axiomático consistente y recursivo para la aritmética tiene enunciados indecibles. En particular, si los axiomas del sistema son enunciados verdaderos, puede exhibirse un enunciado verdadero y no demostrable dentro del sistema. Pero la puta que vale la pena intentarlo, carajo!