Sobre el Teorema de Consistencia (tambin llamado Segundo Teorema de Incompletitud de Gdel): En la demostracin del Teorema de Consistencia de la pgina 166

de Gdel aparece la siguiente errata: desde el comienzo de esa pgina y hasta el fin de la demostracin, todas las veces que se habla del enunciado R se debe hablar del enunciado R, y viceversa. Debido a la confusin que puede generar este error, vamos a reproducir aqu la demostracin completa, con detalles que en el libro no se incluyeron. Recordemos que R es el enunciado: u(u Dem p z(z u z Dem(neg(p))) Donde p es el nmero de Gdel de R y u Dem p expresa la relacin u es el nmero de Gdel de una demostracin de R. Teorema de Consistencia. Sea CON el enunciado que afirma que el sistema axiomtico es consistente. Si el sistema es consistente entonces CON no es demostrable. Demostracin. Nuestro primer objetivo es probar que si tomamos a R como premisa entonces CON es demostrable. Antes de desarrollar formalmente la prueba de este hecho, expliquemos cul es la idea fundamental. Podemos parafrasear a R de la siguiente manera: Si existe una demostracin de R entonces existe una demostracin ms corta de R. Por lo tanto R, la negacin de la afirmacin anterior, dira: Existe una demostracin de R y no existe una demostracin ms corta de R. Como R es una conjuncin de dos afirmaciones, entonces cada una de ellas se deduce sintcticamente de R. En particular, se deduce que: Existe una demostracin de R

Es decir, se deduce que R es demostrable. Pero en el desarrollo del captulo 6 vimos que de la premisa R es demostrable se deduce CON. Por lo tanto, tomando a R como premisa se deduce CON, como queramos ver. Desarrollemos ahora esta idea ms formalmente. Tenemos que R es el enunciado: u(u Dem p z(z u z Dem(neg(p))) Este enunciado equivale a: u(u Dem p z(z u z Dem(neg(p))) que a su vez equivale a: u(u Dem p z(z u z Dem(neg(p))) Si tomamos a R como premisa podemos deducir sintcticamente el enunciado u(u Dem p), es decir, el enunciado que afirma que R es demostrable. Por otra parte, como ya dijimos, en el captulo 6 se ve que de la premisa R es demostrable se deduce sintcticamente CON. Por lo tanto: R u(u Dem p) es demostrable u(u Dem p) CON es demostrable (La segunda afirmacin se debe al Teorema de la Deduccin). En consecuencia: R CON es demostrable Como queramos ver. Podemos ahora completar la prueba del teorema. De que R CON es demostrable podemos concluir que: CON R es demostrable Supongamos, por el absurdo, que CON fuera demostrable. Entonces R sera demostrable. Pero probamos en el captulo 6 que (si el sistema es consistente) entonces R no es demostrable. Por lo tanto CON tampoco es demostrable.