第二百七十二章（3/5）
集合论在20世纪初已逐渐渗透到了各个数学分支，成为了分析理论、测度论、拓扑学及数理科学中必不可少的工具。20世纪初，数学家希尔伯特在德国传播了康托尔的思想，把集合论称为“数学家的乐园”和“数学思想最惊饶产物”英国哲学家罗素把康托的工作誉为“这个时代所能夸耀的最巨大的工作”。
逻辑
主条目：数理逻辑
数学逻辑专注在将数学置于一坚固的公理架构上，并研究此一架构的成果。就其本身而言，其为哥德尔第二不完备定理的产地，而这或许是逻辑中最广为流传的成果现代逻辑被分成递归论、模型论和证明论，且和理论计算机科学有着密切的关联性。
符号
主条目：数学符号
本章未完，下一页继续
