论文标题
关于一阶算术的证明理论的两个评论
Two remarks on proof theory of first-order arithmetic
论文作者
论文摘要
在本说明中，我们让我们对PA的证明理论发表了两个评论。首先，将衍生性关系引入到pa中的可证明的$σ_{1} $ - 公式的有限证人。巴黎 - 哈灵顿的第二个证明其独立成果的证明是重新校正的，以根据组合原则显示“一致性”证明PA的证明。
In this note let us give two remarks on proof-theory of PA. First a derivability relation is introduced to bound witnesses for provable $Σ_{1}$-formulas in PA. Second Paris-Harrington's proof for their independence result is reformulated to show a `consistency' proof of PA based on a combinatorial principle.
