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

摘要

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