建构性数学真理
Constructive Mathematical Truth
摘要：
我们定义了算术和直觉分析的构造性真理，并研究了它的性质。我们还证明了一组建设性的真（一阶）算术语句是Pi-1-2和Sigma-1-2硬，我们猜想它是完整的二阶算术。一个语句是构造真的当且仅当它是在连续函数可实现下由构造函数实现的。
英文摘要：
We define constructive truth for arithmetic and for intuitionistic analysis, and investigate its properties. We also prove that the set of constructively true (first order) arithmetical statements is Pi-1-2 and Sigma-1-2 hard, and we conjecture it to be complete for second order arithmetic. A statement is constructively true iff it is realized by a constructive function under continuous function realizability.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
