Gödel should do an article on which branches of math have the lowest average theorem number.