In the proof of Theorem Consistency page 166 of the two editions Argentina of Gödel (for all) see the following errata: since the beginning of this page and to the end of the show, every time we talk about the non-R statement should discuss the set R, and vice versa.
Because of the confusion that can generate this error in the file that you can dscargar from this link we have reproduced the complete proof of the Theorem of Consistency in detail in the book were not included.
In the English edition of Consistency Theorem is shown on page 180. There's bug indicated above has been corrected. However, the file with additional details may also be useful readers of this edition.
0 comments:
Post a Comment