[资料共享]数学基础

为了弄清楚数学基础，https://baike.baidu.com/item/%E6%95%B0%E5%AD%A6%E9%80%BB%E8%BE%91 和https://baike.baidu.com/item/%E9%9B%86%E5%90%88%E8%AE%BA 等领域被发展了出来．德国数学家https://baike.baidu.com/item/%E5%BA%B7%E6%89%98%E5%B0%94 （1845-1918）首创集合论，大胆地向“https://baike.baidu.com/item/%E6%97%A0%E7%A9%B7%E5%A4%A7 ”进军，为的是给数学各分支提供一个坚实的基础，而它本身的内容也是相当丰富的，提出了https://baike.baidu.com/item/%E5%AE%9E%E6%97%A0%E7%A9%B7 的思想，为以后的数学发展作出了不可估量的贡献．

集合论在20世纪初已逐渐渗透到了各个数学分支，成为了分析理论，https://baike.baidu.com/item/%E6%B5%8B%E5%BA%A6%E8%AE%BA ，https://baike.baidu.com/item/%E6%8B%93%E6%89%91%E5%AD%A6 及数理科学中必不可少的工具．20世纪初，数学家https://baike.baidu.com/item/%E5%B8%8C%E5%B0%94%E4%BC%AF%E7%89%B9 在德国传播了康托尔的思想，把集合论称为“数学家的乐园”和“数学思想最惊人的产物”．英国哲学家https://baike.baidu.com/item/%E7%BD%97%E7%B4%A0 把康托的工作誉为“这个时代所能夸耀的最巨大的工作”

数学逻辑专注在将数学置于一坚固的公理架构上，并研究此一架构的成果．就其本身而言，其为哥德尔第二不完备定理的产地，而这或许是逻辑中最广为流传的成果．现代逻辑被分成递归论、模型论和证明论，且和理论计算机科学有着密切的关联性．

这是高中的吧