GÖDEL, K. , BERTO, F. There's is someting about Gödel. The complete guide to the incompleteness theorem. Translated from the Italian. Malden, Wiley Blackwell, 2009.