摘要：形式数学与非正式数学之间持续存在的差距是由于当前形式化技术背后的数学理论概念不足。我指的是（非正式的）公理化理论概念，即数学理论由一组公理和根据特定的逻辑推理规则从这些公理中推导得出的进一步定理组成。因此，常规的公理化方法是不足的，需要替代。
作者：Andrei Rodin
论文ID：1109.4298
分类：History and Overview
分类简称：math.HO
提交时间：2011-09-21
PDF 下载： 英文版 中文版pdf翻译中