HM.LMIR.7.5: Describe the implications of Klein’s Erlangen Programme and Gödel's Incompleteness Theorem on the nature of mathematical discovery and proof.