Study the discovery that destroyed the dream of an axiomatic system that could prove all mathematical truths - Kurt Gödel's demonstration that mathematical consistency is a mirage and that the price for avoiding paradoxes is incompleteness. Outline Gödel's proof, seeing how it relates to the liar's paradox from Lecture 1.
