论文标题
具有结构诱导的正式数学系统的进一步结果和示例
Further results and examples for formal mathematical systems with structural induction
论文作者
论文摘要
在前一篇文章“包括结构性归纳原理的形式数学系统”中，我们提出了一种正式数学系统的统一理论，包括与形式语法密切相关的递归系统，包括谓词微积分以及正式的归纳原理。在本文中，我们提出了一些进一步的结果和示例，以说明该理论的工作原理。
In the former article "Formal mathematical systems including a structural induction principle" we have presented a unified theory for formal mathematical systems including recursive systems closely related to formal grammars, including the predicate calculus as well as a formal induction principle. In this paper we present some further results and examples in order to illustrate how this theory works.
