As a working mathematician I am chuffed to see Gödel referenced here.