通向实数的第三条路 ——《算术的基本规律》中的实数理论

摘要：

弗雷格的逻辑主义的一个组成部分是将实数理论还原为逻辑.在《算术的基本规律》中,实数被定义为量域中的量的比例,而量域是一个属于正类的类.尽管《算术的基本规律》中的系统有矛盾,但是这本著作中的实数理论能以一致的方式加以重构.库契拉选择在集合论的框架中重构它.他证明了弗雷格的量域和实数集是稠密连续有序且具有阿基米德性的阿贝尔群.本文在库契拉的重构的基础上,进一步指出它们是戴德金连续的阿基米德有序域.

关键词：《算术的基本规律》、量、量域、实数

所属期刊栏目：16

分类号：B81(逻辑学(论理学))

资助基金：中央高校基本科研业务费专项资金资助20103227626

在线出版日期：2023-05-17（万方平台首次上网日期，不代表论文的发表时间）

页数：共22页

页码：66-87