数学家的乐园，乐在何处？

        在国内互联网上划出一个“圈子”，研讨纯粹数学，何乐而不为？

        当今，各个现代数学分支都以集合论作为基础。1874年，康托尔创立了集合论。1922年，数学家为康托尔集合论实现了“公理化”，也就是说，为集合论搞了一套管理系统，使其成为“理论”