In this note the proof-theoretic ordinal of the well-ordering principle for the normal functions \(\mathsf {g}\) on ordinals is shown to be equal to the least fixed point of \(\mathsf {g}\). Moreover corrections to the previous paper (Arai in Arch Math Log 57:649–664, 2017) are made.

中文翻译：

---

排序规则原理的证明理论优势

在此注释中，普通函数\（\ mathsf {g} \）的正序原理的证明理论序数显示为等于\（\ mathsf {g} \）的最小不动点。此外，对前一论文（Arai在Arch Math Log 57：649–664，2017年）中进行了更正。