集合存在性原理与封闭条件：揭示逆向数学的标准观点
Set existence principles and closure conditions: unravelling the standard view of reverse mathematics
摘要：
逆向数学中一个惊人的事实是，几乎所有可数和可数表示数学的定理都等价于二阶算术的五个子系统。标准的观点是，这些等价的意义在于集合存在原理，这些原理是证明这些定理的必要和充分条件。在这篇文章中，我分析了反向数学中的集合存在原理的作用，并认为它们最好理解为自然数幂集上的闭包条件。
英文摘要：
It is a striking fact from reverse mathematics that almost all theorems of countable and countably representable mathematics are equivalent to just five subsystems of second order arithmetic. The standard view is that the significance of these equivalences lies in the set existence principles that are necessary and sufficient to prove those theorems. In this article I analyse the role of set existence principles in reverse mathematics, and argue that they are best understood as closure conditions on the powerset of the natural numbers.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
