In this article we study proofs of some general forms of the Second Incompleteness Theorem. These forms conform to the Feferman format, where the proof predicate is fixed and the representation of the set of axioms varies. We extend the Feferman framework in one important point: we allow the interpretation of number theory to vary.

中文翻译：

---

再看第二个不完全性定理

在本文中，我们研究了第二不完全性定理的一些一般形式的证明。这些形式符合 Feferman 格式，其中证明谓词是固定的，而公理集的表示是不同的。我们在一个重要点上扩展了 Feferman 框架：我们允许对数论的解释发生变化。