论文标题
所有合理算术理论的解释性逻辑
The interpretability logic of all reasonable arithmetical theories
论文作者
论文摘要
2000年的本文介绍了该款项处于这种情况下的征求力，以解决{\ em all} \/合理的算术理论的可解释性逻辑问题。我们介绍了问题的算术侧和模态侧。
This paper from 2000 is a presentation of a status quæstionis at that tiime, to wit of the problem of the interpretability logic of {\em all}\/ reasonable arithmetical theories. We present both the arithmetical side and the modal side of the question.
