Ebook: Go?del's proof

1. Introduction -- 2. The problem of consistency -- 3. Absolute proofs of consistency -- 4. The systematic codification of formal logic -- 5. An example of a successful absolute proof of consistency -- 6. The idea of mapping and its use in mathematics -- 7. Go?del's proofs -- 8. Concluding reflections.