归纳推理的公理基础

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

本文证明了该公理系统的稳健性。此外，我们还证明，如果删除公理系统中使用的一些需求，系统将变得不健全。我们刻画了量词前缀的复杂性，它通过我们的系统保证了真公式的可证明性。我们还证明了，如果一个真公式只包含一元谓词，那么我们的公理系统能够在所考虑的模型中证明这个公式。