This course is THE book to read for those interested in this theorem. It brings in fact initially a very clear and detailed explanation of the principle of this demonstration (open to amateur mathematician, if not profane full), then the thesis of Kurt Gödel (more hardue to decipher!), And finally an interesting analysis impact of the results of Gödel on mathematics. Beyond specialization towards this particular theorem, this book is an interesting step for anyone interested in the philosophical themes such as demonstrability, coherence, logic, etc.