归纳推理：一种抽象方法

我们直接基于程序语义的归纳定义，提出了一种描述程序逻辑的新方法。这些成分是基本的和众所周知的，但它们的融合产生了一种简单而强大的方法，令人惊讶地被忽视了。。。

当然，表达有趣陈述的语言是最重要的。我们使用一阶谓词逻辑。我们在这篇论文中的主要成就是一个公理系统，我们认为它比任何其他自然广义的公理系统都更强大。。。

我们提出了一种针对重写系统给出的等式重写理论中归纳定理的原始基于窄域的证明搜索方法$\mathcal{R}$和一套E类平等。它具有以演绎模数为基础、以缩小范围为依据的特殊性。。。