Title Text:G枚del should do an article on which branches of math have the lowest average theorem number. Origin:https://xkcd.com/2610/ https://www.explainxkcd.com/wiki/index.php/2610:_Assigning_Numbers 分配数字 哥德尔应该就数学的哪些分支有最小的平均定理编号写一篇文章。 注释： 哥德尔不完备定理：在数理逻辑中，哥德尔不完备定理是库尔特·哥德尔于1931年证明并发表的两条定理。简单地说，第一条定理指出：任何自洽的形式系统，只要蕴涵皮亚诺算术公理，就可以在其中构造在体系中不能被证明的真命题，因此通过推理演绎不能得到所有真命题（即体系是不完备的… Read more