现代数学实践中的数学基础：一个数学还是多个数学？
摘要：数学的基本理论基础是通过希尔伯特和他的追随者设计为元理论研究的工具。这类数学基础不能令人满意地执行更基本和更实践导向的理论基础功能，如数学构造和证明的验证。使用其他数学基础如唯一基础与使用常规集合论基础相兼容，只要这两种基础是可以相互解释的。数学基础的变化通常并不使基于旧基础的数学理论失去资格，但允许在新基础上对这些理论进行重构。数学是一种，而它的基础有很多。
作者：Andrei Rodin
论文ID：2301.08131
分类：History and Overview
分类简称：math.HO
提交时间：2023-01-20