理"）。
变体.上述规则可以以各种方式修改：
次要结构变更.有些修改不改变formula_1系统的本质。所有这些修改都仍可以叫做formula_1系统。首先，如上面提及的，相继式可以被看做由集合或多重集组成。在这种情况下，排列和（在使用集合的时候）紧缩公式的规则就可以废弃了。弱化规则也变成是可接纳的了，在公理formula_61被变更的时候，使得形如formula_117的任何相继式都可以被得出。这意味着在任何上下文中formula_31证明for