Chapter 12: Mathematics and the Limits of Proof
Present mathematics as the purest form of knowledge. Introduce axiomatic formal systems and the relevant foundational results, then Gödel's incompleteness theorems: what they show and what they don't.
Read this chapter